Elixir's intersection types

Notes

Elixir might be getting types. During ElixirConf 2023, 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. Let me show you why we need that type!

And if you want to read the research paper, you can find that here.