[HN Gopher] Types and Programming Languages
___________________________________________________________________
Types and Programming Languages
Author : MrBuddyCasino
Score : 23 points
Date : 2025-01-05 09:17 UTC (13 hours ago)
(HTM) web link (www.cis.upenn.edu)
(TXT) w3m dump (www.cis.upenn.edu)
| mdaniel wrote:
| (2002) and it's fucking $90
| Quekid5 wrote:
| 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.)
| Jtsummers wrote:
| $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 wrote:
| 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.
| pvtmert wrote:
| 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.
|
| > https://www.cis.upenn.edu/~bcpierce/unison/
| jfuasdfw wrote:
| Just bought. Seems pricey but I'm a simp for any type theory
| content.
___________________________________________________________________
(page generated 2025-01-05 23:01 UTC)