A Type System for Elixir

Explore the progress in adding static and gradual typing to Elixir in this 44-minute invited talk from Erlang'23. Delve into set-theoretic types and their suitability for representing Elixir program behavior. Discover the potential benefits of the type system, including bug detection and code quality feedback. Learn about using types to describe and enforce function interfaces, and understand the techniques used to analyze Elixir's patterns and guards. Examine the concept of gradual typing, its ability to mix typed and untyped code, and how it facilitates the optional transition of existing codebases towards types. Gain insights into forthcoming work and research challenges in this field, presented by Giuseppe Castagna, Guillaume Duboc, and José Valim.