On Tuesday, August 15, 2017 at 3:57:22 AM UTC+5:30, Gregory Ewing wrote: > Ben Finney wrote: > > That the comprehension > > syntax *does not* necessarily connote a procedural loop, but instead can > > quite reasonably be interpreted as its designer intended, a single > > conceptual operation. > > To put it another way: Consider that a comprehension is an expression,
A neat summary of the basis of this whole difference of opinion! JFTR: Haskell gets its list comprehensions from Miranda. Technically Haskell and Miranda are much the same in syntax, semantics etc (in this respect) However as to the informal discussion-terms around the same there is this difference: In Miranda the terms used were “list comprehension” as well as “ZF expression” (ZF standing for Zermelo, Fraenkel who formulated the comprehension axiom(s) ) with a slight preference for the latter. I have generally preferred “ZF expression” because as I said earlier “comprehension”, in this context, is meaningless (in English). Seeing this discussion, I feel the other part – “expression” – which I never paid attention to so far! – is probably as or more important. -- https://mail.python.org/mailman/listinfo/python-list
