Feldspar is a programming language with the following goals:
- All programs are referentially transparent
- Type inference, higher-kinded types, and rank-N types
- Very fast compiler, and no separate compilation step
- Batteries included
Lexer, parser, type checker, code generator, garbage collector, and interpreter are all written in Rust.