Bringing Types to Elixir

Set-theoretic types, and how they are uniquely suited to represent Elixir programs: Guillaume Duboc discusses the potential benefits of a type system designed for Elixir, such as detecting common bugs and providing direct feedback on code quality.