Types and Programming Languages
41 points by MrBuddyCasino 5 days ago | 9 comments
  • mdaniel 5 days ago |
    (2002) and it's fucking $90
    • Quekid5 5 days ago |
      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 5 days 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 5 days ago |
        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.

    • MrBuddyCasino 4 days ago |
      The PDF is linked on this very site. For some reason it doesn’t work on mobile.
    • evanjrowley 4 days ago |
      Maybe try to used version? Cost me $50 from a 2nd hand used bookstore.
  • pvtmert 5 days ago |
    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 5 days ago |
    Just bought. Seems pricey but I'm a simp for any type theory content.
  • rekabis 4 days ago |
    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?