I had to implement this in Haskell while in university, we started with an interpreter for a Scheme-like language, then added static typing and inference. Parser combinators, monads, monad transformers, curry-howard.…
I had to implement this in Haskell while in university, we started with an interpreter for a Scheme-like language, then added static typing and inference. Parser combinators, monads, monad transformers, curry-howard.…