Types and Programming Languages
by Benjamin C. Pierce
Sign in to Goodreads to see your friends' reviews of this book.
discuss this book
There are no discussion topics on this book yet. Be the first to start one »
friend reviews (0)
To see what your friends thought of this book, please sign up.
lists with this book
Where's the love? Add this book to your favorite list.
other reviews (showing 1-20 of 21)
recommends it for:
Any programmer interested in writing their own programming language(s)
Perhaps the best book of its kind for the beginning/intermediate programmer interested in PLT (programming language theory). The book covers the simple untyped lambda calculus and builds on that foundation to many typed lambda calculi. Implementation chapters show the reader how to put the information to good use, providing executable code in the O'Caml language.
As a non-mathematician, programming hobbyist without formal experience or training, I've found this book particularly helpful in fo...more
As a non-mathematician, programming hobbyist without formal experience or training, I've found this book particularly helpful in fo...more
Like this review?
yes
add a comment
An invaluable reference for programming language theory. Especially useful for those interested in functional languages, which seem to be poorly covered elsewhere. This book works in the opposite direction as most, assuming a functional approach and eventually deriving imperative constructs, rather than the other way around. I like this much better, but it may be tough if you lack the functional background.
One thing I've noticed is that people seem to get hung up over the notation and l...more
One thing I've noticed is that people seem to get hung up over the notation and l...more
Like this review?
yes
add a comment
I keep meaning to get around to actually working through this, but never do. One problem is that types interest me a lot less than they did at one point.
Like this review?
yes
add a comment
recommends it for:
computer scientists
An absolute necessity for anyone wanting to learn the theoretical underpinnings of programming languages.
Like this review?
yes
add a comment
