Message passing syntax for objects | OOPv2
TheDoctor
dreamingforward at gmail.com
Mon Jun 1 22:12:33 EDT 2015
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.
More information about the Python-list
mailing list