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