List comprehension confusion...

Erik Max Francis max at
Wed Feb 5 01:23:33 CET 2003

Kaz Kylheku wrote:

> Lambda calculus is a form of *mathematics* that expresses a calculable
> relationship algorithmically (using recursion).
> In LC, functions are treated as mathematical objects which can be
> represented by variable names, and passed as arguments to other
> functions. To express this in a notation, it becomes mandatory to
> separate the function itself, its body and argument list, from the
> name. This lets you write literal functions, just like nameless
> numbers, sets, vectors, matrices and other objects.

And, to toot my own horn, I've written a lambda calculus module in

 Erik Max Francis / max at /
 __ San Jose, CA, USA / 37 20 N 121 53 W / &tSftDotIotE
/  \ In principle I am against principles.
\__/ Tristan Tzara Counter-Strike /
 A personal guide to Counter-Strike.

More information about the Python-list mailing list