Elixir, and Erlang before it, has always essentially had gradual typing through pattern matching and non-overloaded operators, they just get caught at runtime.

Elixir, and Erlang before it, has always essentially had gradual typing through pattern matching and non-overloaded operators, they just get caught at runtime. This is bringing those checks to compile time.