Introduction to etylizer: A Static Type Checker for Erlang

Annette Bieniusa and Albert Schimpf from the University of Kaiserslautern-Landau introduce etylizer, a static type checker for Erlang built on set-theoretic types. The presentation took place at Code BEAM Europe 2023. They cover the intricacies of Erlang's type language, the limitations of existing type systems, and how etylizer addresses these through parametric polymorphism, equi-recursive types, and other advanced type features. The talk includes a demonstration of etylizer's capabilities with real code examples, highlighting its backward compatibility and the improvement in code quality it brings to idiomatic Erlang code. The project is supported by the Erlang Ecosystem Foundation and is open-source. Annette and Albert also emphasize the importance of community contributions to the project.