PureScript

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