http://purescript.org
A small strongly, statically typed language which compiles to Javascript
PureScript