[Haskell-cafe] ANN: Implementations of TaPL

[Kyle Marek-Spartz]

Hello,

I’ve been working through Types and Programming Languages, implementing each language with a figure in the book. So far I’ve done Boolean, Arith, TypedBoolean, and TypedArith. Before I get too far, I’d like some feedback on my approach, project structure, and how idiomatic the code is.

Here’s the GitHub repo:

https://github.com/zeckalpha/TaPL

Thanks in advance!

I’m aware of the OCaML implementation, and a few previous Haskell implementations, but learning by doing is important, plus there were things I didn’t like about the other implementations.

--  
Kyle Marek-Spartz