~jojo/Carth

4beea562bc23f566e3866ccc6e8a62de92327acb — Johan Johansson 2 years ago f9d82fd
High-level overview of features and roadmap in README
1 files changed, 21 insertions(+), 0 deletions(-)

M README.org
M README.org => README.org +21 -0
@@ 2,6 2,27 @@

Rewrite of [[https://github.com/bryal/kvasir][kvasir]] in Haskell.

Purely functional programming with lisp-syntax. Less infix, more parens!

** Features

- Scheme-inspired syntax and feel
- Static, Hindley-Milner typechecking à la ML
- Currying
- Compiled with LLVM-based backend

** Roadmap

This is a high-level overview of what is planned for the language, and
some of the points are just tentative. See [[TODO.org]] for more extensive
list of planned features and more detailed descriptions.

- Algebraic datatypes
- Typeclasses
- Higher kinded types
- Effect system
- Linear types

** License

   AGPLv3