Strongly typed Elixir would be it. Even better if it can be gradually typed like Typescript.
Jose announced that they are working on it but I can’t wait :p
Jose announced that they are working on it but I can’t wait :p
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.
I’ve tried F# briefly and quite liked it too. I would like to get into it more later.