Type inference of all constructs and the next 15 months

Today we celebrate 15 years since Elixir’s first commit ! To mark the occasion, we are glad to announce the first release candidate for Elixir v1.20, which performs type inference of all language constructs, with increasing precision. In this blog post, we will break down exactly what this means, and what to expect in the short and medium term of the language evolution (roughly the next 15 months). Types, in my Elixir? In 2022, we announced the effort to add set-theoretic types to Elixir . In June 2023, we