Elixir is not statically typed. It's definitely interesting but you don't get a lot of the same safety as you do with ML.