4 ms·
Is there a good general book on type theory as it related to programming languages or a good place to start? I don't have a strong comp-sci background even tho
by noir_lord 8y ago
Is there a good general book on type theory as it related to programming languages or a good place to start?
I don't have a strong comp-sci background even though I've been a professional programmer for a long time, I've always preferred strongly typed languages with ADT's just from experience but I'd really like to understand this type of stuff better.
- kryptiskt 8y agoTypes and Programming Languages by Benjamin Pierce https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/
- noir_lord 8y agoThank you!, this looks good. Heh, The kindle edition is only 3 quid less than the dead tree (in the UK). That one does make me chuckle, Might have to check if the library has a copy first.
- deleted 8y ago[deleted]