Type inference of all constructs and the next 15 months
Summary
Elixir marks 15 years with the v1.20 release candidate, introducing type inference for all language constructs and outlining a 15-month plan for further inference enhancements. The post explains a gradual, set-theoretic type system using a dynamic() mode, demonstrates improvements in function and guard inference, and details upcoming release candidates to extend inference across clauses and dependencies while addressing performance concerns.