PureScript
Strongly typed functional language that compiles to JavaScript — Haskell-inspired, with a focus on correctness.
static
transpiled
since 2013
functionaltyped
PureScript brings Haskell’s type system to JavaScript compilation — row polymorphism, type classes, higher-kinded types, and strict evaluation. Unlike Elm it makes no simplifying concessions, giving developers the full power of a Haskell-like type system for frontend code. It is used in production at SlamData, Awake Security, and other companies valuing correctness.