This is a compiler for Haskell written in the Rust programming language. This is no longer actively being worked on since I am currently working on other projects, I do try to keep it updated to work on newer versions of Rust however.
As the project is right now it can handle quite large parts of Haskell though bugs have to be expected.
- Typechecking
- Higher kinded types
- Algebraic data types
- newtypes
- Type classes
- Large parts of the Prelude
do
expressions- Simple REPL
- Kind inference
- Arithmetic sequences
- List comprehensions
- Foreign Function Interface
- Most of the standard library
- deriving other than for
Eq
andOrd
- Type definitions
- and more!