On Tue, Jan 22, 2008 at 02:43:42PM -0800, Andrew Lentvorski wrote: > Theory of computation != programming
Well not a *practical* one at least. But, you *can* program theoretical computational models like Turing Machines. I know because I have done it. > McCarthy never intended his lambda calculus to be a programming language. A. Church was the one who developed lambda calculus. Unless you are using the term loosely to refer to any language that is like Church's theoretical model. cs -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
