Elixir 1.20 Reaches RC.4 With Type Inference of All Constructs, Closing a Three-Year Push Toward a Set-Theoretic Type System
The fourth release candidate for Elixir 1.20 lands ahead of a planned May 2026 final, capping the largest type-system milestone in the language's history with whole-function inference, cross-clause analysis, and a roughly 10% compiler speedup.
5 min read5 sources