PureScript

Website: www.purescript.org

Designed by: Phil Freeman

PureScript is a strongly-typed, purely-functional programming language that transpiles to JavaScript, C++11, Erlang, and Go. It can be used to develop web applications, server side apps, and also desktop applications with use of Electron or via C++11 and Go compilers with suitable libraries.

Its syntax is mostly comparable to that of Haskell.

In addition, it introduces row polymorphism and extensible records.

Also, contrary to Haskell, the PureScript language is defined as having a strict evaluation strategy, although there are non-conforming back ends which implement a lazy evaluation strategy.