|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
1 of 1 people found the following review helpful:
5.0 out of 5 stars
Excellent book,
By A Customer
This review is from: Abstract Data Types in Standard ML (Wiley Professional Computing) (Paperback)
This book is a little gem! I'm using this book for a class I'm taking on algebraic specification of data types.The author uses Guttag's manner of specifying abstract data types, using signatures/functors. Works through validation and verifications, demonstrating how you can garantee that your code is mathematically sound. SML is almost perfect for that. The powers for abstraction that SML supports shines through the book, showing how this language can be used, at the very least, for rapid, accurate prototyping, if not outright deployment. Nowdays, claiming SML (or its OO variant - OCaml) is "slow"is very much nonsense. This is a great complement to your SML programming, functional programming skills, or even a nice set of skills to have for general programming, even if you don't deploy functional languages but want to be able to quickly and correctly specify abstract data types. |
|
Most Helpful First | Newest First
|
|
Abstract Data Types in Standard ML (Wiley Professional Computing) by Rachel Harrison (Paperback - June 1993)
Used & New from: $95.00
| |
| ||
