This is my attempt to creating my own Programming language. the language is now similar to typed lambda calculus, and has only a interpreter. But i have a lot of plans:
- using bruijn index (don't know if its the best, but cool concept)
- using strict evaluation (only interpreter)
- Hinley Milner type checker interference
- opt-in laziness
- compile via llvm
- row polymorfisme
- linear types
Installing via cabal:
cabal install --dependencies-only
cabal build
Installing via stack:
stack install
> interperter
% let twice a = a * 2.0 in twice 4.0
Double
8.0
Test via Cabal:
cabal install --dependencies-only --enable-test
cabal configure --enable-test
cabal test
Test via Stack:
stack test
This project is licensed under the BSD3 License - see the LICENSE file for details