this post was submitted on 17 Oct 2025
9 points (100.0% liked)

Elixir

682 readers
1 users here now

founded 2 years ago
MODERATORS
 

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

top 3 comments
sorted by: hot top controversial new old
[–] Custodian6718@programming.dev 2 points 1 month ago (2 children)

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

[–] slesa@social.saarland 2 points 1 month ago

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

[–] lena 2 points 1 month ago

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