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.