Elixir 1.20 introduces a type system, rivaling Rust and TypeScript.

This English version is an AI translation of my original article on Qiita (in Japanese). On June 3, 2026, Elixir 1.20 shipped with a type system. But it aims at something a little different from the type systems we are used to, the ones where you write types to buy safety. This article started from