From: Steven Lumos <steven@...>
Date: 2006-08-09T02:33:09+09:00
Subject: Re: Language chatter

"Francis Cianfrocca" <garbagecat10@gmail.com> writes:
> Even though the Church and Turing models of computation are unified
> (and were unified long before digital computers existed), there still
> seems to be something intuitively attractive to many programmers about
> stuffing values into little boxes and being able to go get the values
> out of the boxes later. I'm not sure if this is fundamental, or a
> side-effect of the fact that our practical computing machines are all
> Turing machines and most programmers learn something about "memory"
> and "secondary storage" early in their training. This explains why
> pure functional programming is stylistically so challenging in
> practice, whether or not you believe it's challenging in theory.

Turing machines derive from a model of a human working with pencil and
paper.  That's pretty fundamental.

Steve