Types and Programming Languages (Mit Press)

Good book to read

: )

This is a great book. Benjamin's style is fairly conversational keeping this very dry and logical topic fresh and inviting. The notation used can seem a little esoteric for the uninitiated, however there is enough detail early on to get you over this hurdle quickly. Soon you will be writing your own substitutions, elimination rules and type judgements needed for any programming language you might want to design.

Had to buy the book for a college class. Definitely one of the better written textbooks.

In my opinion the best written and most effective introduction to type theory and programming languages. I am having fun implementing a practical functional programming language with dependent types and this book is always next to me when I code.

I need basic information on type safety, theory of object oriented typing, and how to axiomatize nonstandard kind of typing systems. I need it now, in a form that I can put to use without too many side tripsThis book is almost what I was looking for. It builds up a semantic logic based on lambda calculus, then creates typed versions. Pierce really does work very methodically up through the levels, ending at about the place where C++ templates and recursive type definitions start. Along the way, he's careful to match the typing axioms to semantics, covering unusual topics like exceptions and type inference while he's at it.Almost what I was looking for, but not quite. As I said, I have immediate needs, and I'm not into theory for its own sweet sake. That means I had little appreciation for all the chapters that created arithmetic all over again, starting from Peano axioms (or something like), via the lambda calculus. I know that low-level axiomatizations and lambda calculus are much beloved of the theoreticians, but I encounter them only rarely, and when I was trying to get something else done, like now. For me, they created a diversion blocked by an impediment. Also, however convenient it may be for theory, functional programming is mostly a journal-page peculiarity in industrial practice. I admit, analysis of functional programs pushed me into insight I might have missed, but I would probably have been quite happy dealing with assignment formalisms instead.I almost gave this three stars, because its unnecessary notational baggage and off-main-stream topics weren't doing my job. Bruce's book (ISBN 026202523X) was a much more profitable use of my time. Still, Pierce's goals weren't mine, and the mansion of type analysis has many rooms. Not all of those rooms are furnished to my taste, and don't need to be. I rounded up to four stars for what it meant to do.//wiredweird

Fantastic, very well-written book on exciting topic. It's too big to carry for in-transport reading, so I'll use it at home, and continue reading from phone in parallel.

This book explains what you would expect from title in a clear, understandable way for those who are not familiar with programming language theory. It doesn't make assumptions on previous knowledge of the reader.

The tracking code was indeed not available right from the start (as some other commenters noted), but eventually I received the tracking info on the order page in Amazon.The printing quality is good. The book itself — well, maybe you already know about it if you are here :)

Le livre est arrivé en bon état et à la date butoir. Pas déçu du contenu de ce livre !

Thumbs up emoji

I did not like that no tracking info was provided.The spine was slightly worn when I received the book.

Great book.Be sure to understand that this book is not to teach you how to program.