[Haskell-cafe] ANN: Implementations of TaPL
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.
More information about the Haskell-Cafe