List comprehension confusion...

[Erik Max Francis]

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
Python:

	http://www.alcyone.com/pyos/church/

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