June 3, 2026
Typecast and furious
Elixir v1.20 released: now a gradually typed language
Elixir just got bug-sniffing powers — and the crowd is torn between hype and panic
TLDR: Elixir 1.20 can now automatically catch some guaranteed bugs before programs blow up, without making developers rewrite everything. The community reaction is a messy mix of excitement, fear, and snark: some are ready to give Elixir another shot, while others are still hung up on its learning curve and old-school debugging vibe.
Elixir, a programming language loved by fans of fast, reliable apps, just pulled off a glow-up: version 1.20 can now automatically spot certain bugs before a program crashes, without forcing developers to add extra type labels everywhere. That’s a big deal in coder-land, because these systems often come with painful busywork. Elixir’s team is selling this as the best of both worlds: keep the language flexible, but catch obvious mistakes early. On paper, it’s a win. In the comments? Cue the identity crisis, skepticism, and revival stories.
One of the loudest vibes was pure "I’m so back" energy. One commenter basically announced their annual relapse into trying to learn Elixir again, admitting the language makes them "doubt myself like no other" while still being impossible to quit. That mix of admiration and intimidation became the emotional core of the thread: people want to love Elixir, but they also think its community and learning curve can feel brutally unwelcoming.
Then came the practical drama. One person wanted to know if this fancy new checking could secretly make programs slower, while another cut through the theory with a flex: their giant real-world app is apparently compiling faster on 1.20. And of course, no community thread is complete without an old-school rant: one user complained Elixir still feels weird because it sits on top of another system and, in their words, debugging means printing to the console "like 40 years ago." Ouch. Still, supporters fired back with the obvious selling point: if dynamic typing scared people away before, this update might finally make Elixir feel safer to try.
Key Points
- •Elixir v1.20 completes the first development milestone of the language’s set-theoretic type system.
- •The release adds type inference and gradual type checking for every Elixir program without requiring type annotations.
- •The article says Elixir can use this system to detect dead code and "verified bugs" that would definitely fail at runtime if executed.
- •Elixir’s gradual type is `dynamic()`, which the article says differs from `any()` by supporting compatibility and narrowing to reduce false positives.
- •The type system work involved a CNRS and Remote partnership, with development sponsored by Fresha and Tidewave, and Elixir passed 12 of 13 categories in the "If T" benchmark.