A new Elixir blog post/announcement has been posted!
Get the full details here: My Future with Elixir: set-theoretic types - The Elixir programming language