elixir type-system compile-time-checks erlang-otp-27

Elixir v1.17 ships gradual set-theoretic types

Compiler now infers types from patterns in functions to emit warnings for typos, type mismatches, and invalid operations without requiring type annotations.

Summary

Catches bugs at compile-time (misspelled struct fields, invalid comparisons, wrong function calls) without refactoring existing code. Warnings surface in editors immediately, reducing debugging cycles.

Why it matters

Implementation verdict

Replaces syntax-analysis warnings with type-inference-backed detection. Works within single functions only—cross-function analysis comes later. Ready to adopt now: upgrade to v1.17, enable Erlang/OTP 26+, no code changes needed. Drop Erlang/OTP 24 support.

Sources

1.This release introduces gradual set-theoretic types to infer types from patterns and use them to type check programs, enabling the Elixir compiler to find faults and bugs in codebases without requiring changes to existing software.
2.At the moment, Elixir developers will interact with set-theoretic types only through warnings found by the type system.
3.The Elixir typechecker only infers types from patterns within the same function at the moment.
4.This release adds support for Erlang/OTP 27 and drops support for Erlang/OTP 24.

Dev Signal

Get briefs like this in your inbox — free, every weekday.

100+ sources compressed into one 4-minute read. Ranked, cited, implementation-ready.

Read the full issue →All briefs