> its not just the lack of types altogether

??

Elixir is strongly but dynamically typed.

On the progress of static typing:

https://arxiv.org/abs/2306.06391