On Thu, Jan 24, 2008 at 11:38:41AM -0800, Christopher Smith wrote: > [EMAIL PROTECTED] wrote: > > If I had to guess I'd say Lambda Calculus is probably easier to do math > > proofs > > in and Lisp is probably easier to do program proofs in. > > > Lisp is pretty crummy for doing program proofs. For that look at ML or > Haskell.
Yea from Wikipedia it appears that Lambda Calculus is purely functional while Lisp comprises on purely functional for practical reasons. Still, it is exciting to know that learning Lisp means we are learning *more* than Lambda Calculus...that it doesn't have anything new to offer Lisp. In fact, it appears there is a defined subset of Lisp called "PureLisp" that is purely functional and basically *is* Lambda Calculus! Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
