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

https://elixir-lang.org/blog/2025/10/16/elixir-v1-19-0-released/

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

8 points · 3 comments · view on lemmy.world

3 Comments

Custodian6718@programming.dev · 2 pts · 316d (2 replies)

Type checking and inference? Did I miss something? Isnt elixir dynamically typed?

slesa@social.saarland · 3 pts · 316d

@Custodian6718 @lena They wanted to add typings, they said in Poland at the ElixirConf?

lena@gregtech.eu · 2 pts · 316d

they're working on adding set-theoretic types to elixir: https://hexdocs.pm/elixir/gradual-set-theoretic-types.html