KeliLanguage/compiler

The compiler for Keli

Keli Compiler

Namings

Refer Glossary.md

How to run the binary?

stack build
stack exec -- keli [keli-args]

How to install the binary into user path?

stack build --copy-bins

How to setup this project?

stack build

How to run test?

To treat warning as errors, use -Werror:

stack test --ghc-options="-Wall -Werror" --file-watch

How to run ghci?

The following command is to prevent stack overflow due to unknown infinite loop.

Refer https://stackoverflow.com/questions/35342591/haskell-limit-ghci-memory

stack ghci --package pretty-simple --ghci-options="+RTS -M256m -K256m -RTS -interactive-print=Text.Pretty.Simple.pPrint -Wall" 

Versioning

We will be using SemVer + CalVer, as the following format:

MAJOR.YY.MM.DD

Some extra documentation about Data.Map.Ordered

-- assocs means valuesOf
-- For example,
--  assocs x
--      means, get the list of key-value pair from x (which is arranged according to insertion order)
-- |> means insert
-- For example,
--      x |> (key, value)
--          means, insert (key,value) into x
-- For more please refer http://hackage.haskell.org/package/ordered-containers-0.1.1/docs/Data-Map-Ordered.html

References

Algorithm W implemented in Haskell

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

Type inferfence for beginners (by Dhruv Rajvanshi)

https://medium.com/@dhruvrajvanshi/type-inference-for-beginners-part-1-3e0a5be98a4b https://medium.com/@dhruvrajvanshi/type-inference-for-beginners-part-2-f39c33ca9513