PureScript is not JavaScript with a different syntax: it is a language with a full Hindley-Milner type system. "A strongly-typed functional programming languag

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 http://www.purescript.org