Elixir has evolved into a gradually typed language with version 1.20, completing a development milestone that began in 2022. The new type system performs inference and checking without annotations, helping developers find verified bugs in existing programs with minimal overhead. This represents a significant shift from Elixir's traditionally dynamic nature.

At the core is Elixir's unique dynamic() type, differing from the any() type in other gradual typing systems. Unlike systems that discard type information, Elixir's dynamic type maintains compatibility and narrowing capabilities. This approach reduces false positives while still identifying type violations that would cause runtime errors, creating a more practical typing experience.

The implementation demonstrates strong performance, passing 12 of 13 categories in the "If T: Benchmark for Type Narrowing." The system effectively refines types through guards and conditionals, detecting potential bugs without developer intervention. This type system was developed through a partnership between CNRS and Remote, marking a significant advancement in Elixir's type safety capabilities.