Purescript by paf31A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks View project onGitHub purescript A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks Current Features Full Type Inference Higher Kinded Polymorphism Support for basic Javascript types Extensible records Type-safe blocks with for/while
