Message passing syntax for objects | OOPv2

[TheDoctor]

On Thursday, May 9, 2013 at 12:39:37 AM UTC-5, Steven D'Aprano wrote:
> On Wed, 08 May 2013 19:35:58 -0700, Mark Janssen wrote:
> 
> > Long story short: the lambda
> > calculus folks have to split from the Turing machine folks.
> >  These models of computation should not use the same language.  Their
> > computation models are too radically different.  
> 
> Their computation models are exactly equivalent.

No.  Church's thesis was a thesis.  So, yes in theory they can be made to be equivalent.  In practice, it's not.  Practicality beats purity, remember?

> This is like saying that Cartesian coordinates and polar coordinates are 
> so radically different that they cannot possibly both describe the same 
> space.

Good analogy, they in theory have the same descriptive potential.  In practice, you never do it.
 
Mark
Ho Hum...getting back to some old threads.