PureScript

A small strongly, statically typed language which compiles to Javascript