A programming language made in Abyss.
The Abyss comes from void, from void you can get everything you want.
- Core lambda calculus
- Syntax of S-Expression
- Recursions
- Simple Type system
- Callcc and coroutine
- Typeclasses
- Monads
- Arrows
- User-defined parser
- Lazy calculation
- Implicit conversion system
- Dependent typed system
- Optional GC
- Standard library
- Interface of C++
- Object Oriented Programming
- Erlang processes and actors