etylizer - Set-theoretic Types for Erlang

Explore the innovative etylizer project, a static type checker for Erlang that utilizes set-theoretic types as its foundation. Delve into a comprehensive demonstration of how existing Erlang code can be statically typechecked with minimal or no modifications. Discover how set-theoretic types can enhance the development process and improve code quality for idiomatic Erlang programming. Learn about Erlang's powerful type language features, including parametric polymorphism, equi-recursive types, and singleton, union, and intersection types. Understand the challenges in designing a static type system for Erlang due to features like pattern matching and dynamic type tests. Gain insights into this open-source project funded by the Erlang Ecosystem Foundation and its potential impact on Erlang development practices.

etylizer: Set-theoretic Types for Erlang by Annette Bieniusa, Albert Schimpf | Code BEAM Europe 2023