Thread
Stories related to "Monadic Parsers: Implementing a micro Parsec" across the full archive.
I've spent the weekend trying to solidify my understanding of expression-based language design. This is my first language project that's actually got scope and variables.
apfelmus - Forklift - a pattern for performing monadic actions in a worker thread
(apfelmus.nfshost.com)
Implementing and Optimizing a Simple, Dependently-Typed Language (2010)
(publications.lib.chalmers.se)
Original [version](https://www.andres-loeh.de/LambdaPi/) of LambdaPi. A reorganization of that [here](https://github.com/ilya-klyuchnikov/lambdapi). Code for this one is [here](https://archives.haskell.org/code.haskell.org/LambdaPiC/).