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/assignment etc.
• Functions with multiple arguments
• Pattern matching
• Simple FFI