3 ms·
I've been wanting to read that for a while. Another candidate is Pierce's "Types and Programming Languages". Has anybody by any chance read both an can compare
by oggy 13y ago
I've been wanting to read that for a while. Another candidate is Pierce's "Types and Programming Languages". Has anybody by any chance read both an can compare them?
- notthemessiah 13y agoPierce will get you working in Coq ASAP, but Harper will provide you with a much richer context.
- me2i81 13y agoTAPL isn't Coq-focused. Pierce and his collaborators have another book available online, Software Foundations, which is written as a Coq literate program: http://www.cis.upenn.edu/~bcpierce/sf/index.html http://www.cis.upenn.edu/~bcpierce/sf/index.html
- tel 13y agoI'd be interested in this as well. I'm about halfway through TaPL and have often considered reading Harper's book instead.
- georgewfraser 13y agoI've read both and Pierce is much better. I have nothing but respect for Robert Harper, a great thinker in this space, but Pierce is a better writer.