Mailing List Archive: Re: is [comprehension] the right word???

Re: is [comprehension] the right word???

Feb 20, 2023, 6:23 PM

Post #1 of 3 (111 views)

On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna <henh...@gmail.com> writes:
> > is [comprehension] the right word???
> Yes, it comes from math, particularly set theory. An expression like
>
> { n | n:integer, n mod 2 = 0 }
>
> is called a set comprehension, and then one there denotes the set of all
> even integers. Axioms saying that the above denotes a legitimate set
> are called comprehension axioms. In ZFC (an axiomitization of set
> theory widely used in math), there is an infinite schema of such axioms.
>
> The Haskell language used a notation inspired by this for "list
> comprehensions", and Python list (and later dictionary etc.)
> comprehensions were inspired by Haskell's version.

thanks... my curiosity was re-aroused today
when i learned that....

In Italian .... they say: [compresi] as in...

Ho 5 libri di Eco, compresi quei 3 che vedete lì.

Ho 5 libri di Eco, inclusi 3 che non sono disponibili nella traduzione giapponese.

--
https://mail.python.org/mailman/listinfo/python-list

Re: is [comprehension] the right word??? [ In reply to ]

torriem at gmail

Feb 20, 2023, 8:17 PM

Post #2 of 3 (111 views)

Permalink

On 2/20/23 18:06, Hen Hanna wrote:
> is [comprehension] the right word???
>
> i swear i never heard the word before
> getting into Python a few years ago.

Seems as though the term was borrowed from formal mathematics set theory.

A simple search reveals that the term "list comprehension" predates
Python. Back to 1977 to be exact. The term was first coined by Phil
Wadler in the late 70s or early 80s.

https://en.wikipedia.org/wiki/List_comprehension
--
https://mail.python.org/mailman/listinfo/python-list

Re: is [comprehension] the right word??? [ In reply to ]

henhanna at gmail

Feb 22, 2023, 12:25 PM

Post #3 of 3 (110 views)

Permalink

On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna <henh...@gmail.com> writes:
> > is [comprehension] the right word???

> Yes, it comes from math, particularly set theory. An expression like
>
> { n | n:integer, n mod 2 = 0 }
>
> is called a set comprehension, and then one there denotes the set of all
> even integers. Axioms saying that the above denotes a legitimate set
> are called comprehension axioms. In ZFC (an axiomitization of set
> theory widely used in math), there is an infinite schema of such axioms.
>
> The Haskell language used a notation inspired by this for "list
> comprehensions", and Python list (and later dictionary etc.)
> comprehensions were inspired by Haskell's version.

thank you .... i did a search thru Google.Books and found just 1 hit (before 1970).

The Cambridge History of Later Greek and Early Medieval ... - Page 133
books.google.com › books
A. H. Armstrong · 1967
FOUND INSIDE – PAGE 133
Too powerful , in fact : in 1902 , Russell showed that it is inconsistent , since it implies Russell's Antinomy ( see Russell's letter to Frege in van Heijenoort 1967 ) . Law V is close to what has become known as the Set Comprehension Principle (SCP) ........................

--
https://mail.python.org/mailman/listinfo/python-list