[tuukkah]

PureScript is not JavaScript with a different syntax: it is a language with a full Hindley-Milner type system.

"A strongly-typed functional programming language that compiles to JavaScript -- Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching; Row polymorphism and extensible records; Higher kinded types; Type classes with functional dependencies; Higher-rank polymorphism" http://www.purescript.org

[tathougies]

Came here to say this. PureScript has innovated enough to influence both Haskell and JavaScript. It is certainly a solid language in its own right