[Python-Dev] accumulator display syntax

Greg Ewing greg at cosc.canterbury.ac.nz
Wed Oct 22 19:20:28 EDT 2003

Gareth McCaughan <gmccaughan at synaptics-uk.com>:

> "Aussonderungsaxiom" is the axiom of *separation*[1], which is
> a weakened version of the (disastrous) axiom of *comprehension*.
> In terms of Python's listcomps, comprehension would be [x if P(x)]

Actually, my original implementation of list comps
*did* allow you to write that -- although it didn't
try to loop over all possible values of x, fortunately. :-)

It was Guido who (probably fairly wisely, even though
I didn't agree at the time) decided there had to be
a "for" in there.

Greg Ewing, Computer Science Dept, +--------------------------------------+
University of Canterbury,	   | A citizen of NewZealandCorp, a	  |
Christchurch, New Zealand	   | wholly-owned subsidiary of USA Inc.  |
greg at cosc.canterbury.ac.nz	   +--------------------------------------+

More information about the Python-Dev mailing list