What's New in Gradualizer: Type Checking Erlang and Elixir - Lambda Days 2022

Explore the latest developments in Gradualizer, a gradual typechecker for Erlang and Elixir, in this conference talk from Lambda Days 2022. Dive into the concept of gradual typing, which combines elements of static and dynamic typing. Learn about recent improvements, challenges overcome, and the introduction of Gradient, an Elixir frontend. Discover how to type check both Erlang and Elixir code through demonstrations and comparisons. Gain insights into the state of the art in statically typing Erlang, quantitative and qualitative comparisons, and future developments in this field. Engage with the speaker's conclusions and understand how to contribute to this open-source project.

00:00 - - Intro
04:37 - - Statically Typing Erlang: State of the Art
11:47 - - Quantitative Comparison
16:44 - - Demo: TypedServer in Elixir with Gradient
29:38 - - Qualitative Comparison on Selected Examples
39:32 - - Conclusions
42:28 - - What's new? What's Left to do?
45:00 - - Contribution + QnA