PureScript

PureScript is a small, strongly typed, functional programming language with JavaScript semantics. It compiles to readable, standards-compliant JavaScript. The language has an expressive Type System which allows the programmer to catch a wide variety of errors at compile-time. The Type System also provides a level of documentation for the code, making it easier for others to understand. PureScript is influenced by Haskell, and the PureScript compiler is written in Haskell. The language has a strong, supportive community, with a helpful IRC channel and a growing number of libraries and tools.