Elixir v1.20 released: now a gradually typed language
Elixir v1.20, announced on June 3, 2026, marks a significant milestone by becoming a gradually typed language. This means developers can now add type annotations to function signatures and variables, which the compiler can check for type consistency. The gradual typing system is optional, so existing codebases remain fully compatible without changes. The feature is built on a new type inference engine that works alongside the existing compiler, providing type errors without impacting runtime performance. This release also includes enhancements to the Mix build tool, improved error messages, and better support for documentation generation. The gradual typing system is designed to be pragmatic, focusing on catching common errors like mismatched arguments or nil references, while allowing developers to opt in at their own pace. This change positions Elixir as a more attractive choice for large-scale, mission-critical systems where type safety is valued, while preserving the language's core philosophy of developer productivity and concurrency.
Gradual typing in Elixir improves code safety and tooling for large projects.