Roc

Roc is a functional programming language. It’s a newer language, but similar to Haskell in many respects. If you’re looking for a new language to learn, Roc may be well worth your consideration as a compile-to-binary language. It’s very functional and focused on solutions, which works well with those who already have mathematical and engineering capabilities. 

You'll find many similarities to Elm because the company releasing the new programming language is highly familiar with Elm's developer Evan Czaplicki. Roc picks up where Elm stops, helping in use cases that are out of Elm's scope.