Type checking and inference? Did I miss something? Isnt elixir dynamically typed?
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
they're working on adding set-theoretic types to elixir: https://hexdocs.pm/elixir/gradual-set-theoretic-types.html