My Future with Elixir: set-theoretic types

We announce and explore the possibilities for bringing set-theoretic types into Elixir.