Side note: The author, Benjamin Pierce is also the author of the Unison file synchronisation tool.
> Which I use daily between macOS and Linux hosts.
I don’t know what the algorithm is trying to tell me, but when I looked that book up on Amazon Canada, the very next book in the search results was on Borderline Personality Disorder. Are these two books that closely related?
Just bought. Seems pricey but I'm a simp for any type theory content.
[dead]
(2002) and it's fucking $90
It'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.)
$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.
There 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.
The PDF is linked on this very site. For some reason it doesn’t work on mobile.
Maybe try to used version? Cost me $50 from a 2nd hand used bookstore.