PureScript

PureScript is a strongly-typed functional programming language that compiles to JavaScript.