Haskell

Homepage: http://www.haskell.org/

An ML with highly unique features, including a robust, expressive type system using GADTs, pure functional programming, lazy evaluation, and extensive automatic optimizations of user code.

Haskell has an unofficial, pre-alpha subset compiler for JavaScript: Fay.