Implementations of languages referred to in Types and Programming Languages by Benjamin C. Pierce.
-
Learn about Haskell
Prior to this project, I had not written any multi-file Haskell projects, so this was a way for me to learn about how to set up and organize a Haskell project.
-
Learn about types and programming languages
Working through the book is a good way to learn the content of the book.
-
Provide reference implementations of the various type systems
I plan on implementing languages which use these type systems in the future, so I would like to be able to reuse this code.
Please do! I would love contributions particularly on the following:
- Making the code more idiomatic
- Properties to test
- Project structure
- Implementation details
| Language | Figure # |
|---|---|
| Boolean | 3-1 |
| Arith | 3-2 |
| TypedBoolean | 8-1 |
| TypedArith | 8-2 |
To run the tests, use ./test, which runs cabal install, tests each language, hlints, and greps for tabs.
This project was initially based on a previous tapl-haskell project by Ryan W. Porter. That project, like this one, avoids the use of Template-Haskell, but instead it uses a different form of code-generation. For this project, I'd like to avoid code-generation (at least initially), so that each individual language can be considered on its own.
This allows for a diff of the implementations to be compared to the figures in the book, since the figures typically show only differences between the new language and the parent language. Use diff on the implementations as follows:
diff src/Language/TaPL/Boolean src/Language/TaPL/Arith