kms

Types and Programming Languages

Just because you’ve implemented something doesn’t mean you understand it.

– Brian Cantwell Smith (p. 88, Types and Programming Languages)

I’d like to learn more about type systems, so I’m working my way through Benjamin C. Pierce’s Types and Programming Languages. I also would like to learn more about Haskell, so I’m implementing languages from the book as I encounter them. If you’d like to follow along, the implementations I’m working on are on GitHub.

Before this I hadn’t done any significant multiple-file Haskell work, so I’m particularly looking for feedback on the project’s structure and whether it is idiomatic.