Programming Languages: Build, Prove, and Compare
Product ID: 488268638
Buy anything from 5,000+ international stores. One checkout price. No surprise fees. Join 2M+ shoppers on Desertcart.
Desertcart purchases this item on your behalf and handles shipping, customs, and support to UK.
Programming Languages: Build, Prove, and Compare: 9781107180185: Computer Science Books @ desertcart.com Review: The only PL book you need - If you want to learn about how to design and implement a programming language, this is the book to read. While Pierce, Winskel, and Appel all have produced excellent material (which I have proudly on my shelf), and you can certainly learn a great deal from them, Build, Prove, and Compare is a one-stop, soup-to-nuts guide that can take you from knowing almost nothing about how languages are made, to implementing your own with features as powerful as any existing language on the market. The chapters build on each other in a natural progression (there's even a nifty dependency chart in Figure 1.1), starting from a simple imperative language and progressing to functional and object oriented, and adding type checking, type inference, and more. Readers will both be shown the code used to write their interpreters as well as the math that can be used to demonstrate it is correct. Notation is well and thoroughly explained. Exercises are challenging but always instructive. If you've read this for into this review, please buy the book—if you try to learn PL a different way, you do yourself a disservice. Review: An important book - Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!
| Best Sellers Rank | #1,059,607 in Books ( See Top 100 in Books ) #917 in Computer Programming Languages #1,630 in Programming Languages (Books) |
| Customer Reviews | 5.0 out of 5 stars 11 Reviews |
N**G
The only PL book you need
If you want to learn about how to design and implement a programming language, this is the book to read. While Pierce, Winskel, and Appel all have produced excellent material (which I have proudly on my shelf), and you can certainly learn a great deal from them, Build, Prove, and Compare is a one-stop, soup-to-nuts guide that can take you from knowing almost nothing about how languages are made, to implementing your own with features as powerful as any existing language on the market. The chapters build on each other in a natural progression (there's even a nifty dependency chart in Figure 1.1), starting from a simple imperative language and progressing to functional and object oriented, and adding type checking, type inference, and more. Readers will both be shown the code used to write their interpreters as well as the math that can be used to demonstrate it is correct. Notation is well and thoroughly explained. Exercises are challenging but always instructive. If you've read this for into this review, please buy the book—if you try to learn PL a different way, you do yourself a disservice.
N**M
An important book
Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!
Trustpilot
2 weeks ago
3 days ago