Elm

Elm is a functional language that compiles to JavaScript.

Actually much better than typescript.