3 ms·
"Types and Programming Languages" by Benjamin C. Pierce is a good textbook that covers this kind of stuff.
by eirikbakke 3y ago
"Types and Programming Languages" by Benjamin C. Pierce is a good textbook that covers this kind of stuff.
- thechao 3y agoTAPL is remarkably unclear on the basic meaning of the syntax it uses; which I find ironic. This answer is orders-of-magnitude clearer than TAPL.
- OJFord 3y agoAgreed, I stumbled through a course on essentially TAPL at university, and bought & read Pierce's TAPL to help. It's a great book, but the submission would've helped me a lot as an additional primer. I didn't have the background in mathematical logic for it frankly. (It was a third of fourth year CS course, but where everyone else would've had more formal logic in first and second, I'd had the electronics part of my programme, which was actually based in EE. I naïvely thought I'd read enough to have the requisite background and I absolutely hadn't, or at least not to understand & follow fast enough.)