I think you mean statically-typed, I'd like that too so I picked F#.

Elixir is already strongly typed (e.g. I think you can't use a number where a string is needed and doesn't automatically coerce).

I'd also like higher performance numerics in Elixir.