Re: is [comprehension] the right word???
On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna 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
Re: is [comprehension] the right word???
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???
On Monday, February 20, 2023 at 5:45:39 PM UTC-8, Paul Rubin wrote:
> Hen Hanna 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
