Learn
[ Home ]

 

 

I've become more and more of a fan of strong, static typing, mainly for purpose of eliminating as many errors as possible, as early as possible. To that end, I started working through Types and Programming Languages (TAPL), by Benjamin C. Pierce. To reinforce the material in the book, and to help teach myself Haskell, I started the tapl-haskell project, which aims to provide Haskell ports of all of the OCaml implementations provided by Pierce. Contributions and/or feedback appreciated.