Elixir might be getting types. During ElixirConf, José Valim talked about some of the special challenges in creating types for Elixir.

One of the things he mentioned is the need for an intersection type when we might think a union type would suffice for multiple function heads.

I was a little confused by it, so I did a little more digging. Let me show you why we need that type!

👉 https://www.elixirstreams.com/tips/elixir-intersection-types