The Design Principles of the Elixir Type System

Explore the current state of Guillaume Duboc's PhD thesis on introducing a type system to Elixir in this conference talk from Code BEAM Europe 2023. Delve into set-theoretic types and their unique suitability for representing Elixir programs. Discover the potential benefits of an Elixir-specific type system, including bug detection and code quality feedback. Learn about new syntax for types that could be added to the language and examine the use of types in describing and enforcing function interfaces. Investigate the concept of gradual typing and its ability to mix typed and untyped code, as well as facilitate the optional transition of existing codebases towards types. Gain insights into the project's current status, upcoming work, and challenges faced in this collaborative effort with Giuseppe Castagna and José Valim.