[Haskell-cafe] ANN: Implementations of TaPL

Kyle Marek-Spartz kyle.marek.spartz at gmail.com
Mon Feb 17 19:50:04 UTC 2014


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:


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

More information about the Haskell-Cafe mailing list