« BackTypes and Programming Languagescis.upenn.eduSubmitted by MrBuddyCasino 3 months ago
  • pvtmert 3 months 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/

    • rekabis 3 months 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?

      • jfuasdfw 3 months ago

        Just bought. Seems pricey but I'm a simp for any type theory content.

        • lincpa 3 months ago

          [dead]

          • mdaniel 3 months ago

            (2002) and it's fucking $90

            • Quekid5 3 months 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 3 months 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 3 months 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 3 months ago

                  The PDF is linked on this very site. For some reason it doesn’t work on mobile.

                  • evanjrowley 3 months ago

                    Maybe try to used version? Cost me $50 from a 2nd hand used bookstore.