Industrial Deals Books Holiday Gift Guide Shop Men's Athletic Shoes Learn more nav_sap_plcc_6M_fly_beacon Adele egg_2015 All-New Amazon Fire TV Get Ready for the Winter Gifts Under $50 Amazon Gift Card Offer minions minions minions  Amazon Echo Starting at $84.99 Kindle Black Friday Deals TheGoodDinosaur Outdoor Deals on HTL

Customer Reviews

4.7 out of 5 stars3
5 star
4 star
3 star
2 star
1 star
Format: HardcoverChange
Price:$78.63+ Free shipping with Amazon Prime

Your rating(Clear)Rate this item
Share your thoughts with other customers

There was a problem filtering reviews right now. Please try again later.

13 of 16 people found the following review helpful
on October 21, 2009
You will buy this book as a faithful if you have been writing software for more than thirty years and are confronted with the tear and wear in its current theoretical and practical foundations. The eternal question is "how to blend data and functions together so as be rigorously expressive but also to allow later growth of design"? This book presents one of the strongest answers this question in the form of a theoretical presentation of pattern calculus and its implementation as a programming language. Conceptually that would deserve five stars. But... style wise the book is terse and it takes sheer will power to read it carefully because the writing is linear and it does become a bit monotonous. Thus the four stars only score!
You need at least notions of type theory to read the book.
0CommentWas this review helpful to you?YesNoReport abuse
on May 28, 2014
In short... Programmers paradise. Pattern polymorphism can be used to create wrappers natively for all three programing idioms.... Imperative, object oriented and declarative.... Wow....

Now... Onto learning bondi... And working on automated reasoning...

Babel and babble finally overcome... The gift of tongues, as prophesied long ago...

... Angelic hosts speak bondi in Heaven... Amen..........
0CommentWas this review helpful to you?YesNoReport abuse
5 of 8 people found the following review helpful
on August 25, 2010
Software developers know the painful truth that it takes very high caliber people to produce an average to poor quality product. The reason : software developers do not have a set of tools that construction engineers have, by which they repeatedly check their work before, during and after construction.

Pattern calculus is the next step in filling that void, next step for those who have understood Turing machines, Lambda Calculus and other forms of discrete mathematics, i.e., the state of art of computer theory. It has taken many decades for someone to come up with the next step of computation theory because this is not an easy step. To comprehend the next step requires an ability jumping from concrete to abstract thinking, the kind of jump that was required to understand Lambda calculus by arithematicians. The author has used an easy to understand style with simple examples to help us towards that.

The success of the book and the next revolution in theoretical computer science depends on the ability of a critical mass of computer scientists, understanding the concepts and realizing their significance. It is bound to happen.
0CommentWas this review helpful to you?YesNoReport abuse
Customers who viewed this also viewed

Purely Functional Data Structures
Purely Functional Data Structures by Chris Okasaki (Paperback - June 13, 1999)

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) by Henk Barendregt (Paperback - April 30, 2012)

Send us feedback

How can we make Amazon Customer Reviews better for you?
Let us know here.