Purescript is a functional language that compiles to javascript (https://github.com/purescript/purescript)