Elixir v1.19 released: enhanced type checking, broader type inference, and up to 4x faster compilation for large projects! elixir-lang.org/blog/2025/10… A huge thank you to Fresha, Starfish*, and Dashbit for sponsoring the type system, plus @CNRS and @Remote for making it possible.

Elixir v1.19 released: enhanced type checking and up to 4x faster compilation for large projects

Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more

elixir-lang.org

Oct 16, 2025 · 7:48 AM UTC

8
120
5
575
Replying to @josevalim @CNRS @remote
I read all the inference paragraph but wouldn't "def even?(int x)" or "def even?(x: int)" just be quicker and simpler than any guard, typespec and better for IDEs intellisense?
1
1
5
We are not doing changes to the language at the moment. It is about inferring *existing code*.
2
1
1
25
more replies
Replying to @josevalim @CNRS @remote
Soon the excuse that we can’t use Elixir because it lacks typing will be a bad memory. OTP, Premeptive scheduler and fearless concurrency.
1
11
Replying to @josevalim @CNRS @remote
Thank you José for your ongoing hard work on this amazing language. 🙌🏻
5
Replying to @josevalim @CNRS @remote
@EduardoRuocco
1
Replying to @josevalim @CNRS @remote
Awesome, can't wait to check it out!
Replying to @josevalim @CNRS @remote
Ok agora responde teu e-mail aí antes do próximo upgrade 😬
Replying to @josevalim @CNRS @remote
Elixir真学过
Replying to @josevalim @CNRS @remote
LFG!!!
Load more