4 ms·
(2002) and it's fucking $90
by mdaniel 2y ago
(2002) and it's fucking $90
- Quekid5 2y agoIt's expensive, no doubt... but it's also a VERY good and thorough treatment of the topic. (Btw, not that much has changed since 2002 in terms of the fundamentals of type systems. Certainly some stuff at the edges, but this book covers about 95% of what you might need.)
- Jtsummers 2y ago$95 from Amazon or MIT Press, or $94.99 for the digital copy (you can save a penny!) though that's dated. Clicking through, it's $59.99 for the ebook from various sources. The ebooks are not PDFs, though, and so the formatting leaves something to be desired (based on samples). More complex math renderings are images that look ok. IIRC, there are some large code blocks in the book at some points but not in the samples so I can't evaluate them for clarity.
- dkjaudyeqooe 2y agoThere exists a PDF of the book, and the typesetting wrt math formulas seems flawless in it. EPUBs are generally awful and only PDFs can be trusted IMHO.
- MrBuddyCasino 2y agoThe PDF is linked on this very site. For some reason it doesn’t work on mobile.
- evanjrowley 2y agoMaybe try to used version? Cost me $50 from a 2nd hand used bookstore.