On 18/07/13 17:58, Patrick R. Michaud wrote:
[...]
Sets do not implement well on a computer.
Let me strongly disagree with this statement. Sets implement *very well* on
computer, it just suffices to know how to do it.
You want a constructive proof? Check the CDuce language
Are set operations needed in Perl6? No implementation of the perl6 set
specification yet exists (AFAIK).
The question occurred to me as I have been working my way through a new
book on foundational maths not based on sets
(http://homotopytypetheory.org/book/). Foundations of maths, until
On 07/18/2013 01:07 PM, Richard Hainsworth wrote:
Are set operations needed in Perl6? No implementation of the perl6 set
specification yet exists (AFAIK).
You are wrong. Both rakudo and niecza implement significant subsets of
the set specification.
Cheers,
Moritz
:
On 07/18/2013 01:07 PM, Richard Hainsworth wrote:
Are set operations needed in Perl6? No implementation of the perl6 set
specification yet exists (AFAIK).
You are wrong. Both rakudo and niecza implement significant subsets of the
set specification.
Cheers,
Moritz
is implemented (perhaps better, where is this documented).
Richard
On 07/18/2013 07:16 PM, Moritz Lenz wrote:
On 07/18/2013 01:07 PM, Richard Hainsworth wrote:
Are set operations needed in Perl6? No implementation of the perl6 set
specification yet exists (AFAIK).
You are wrong. Both
Christmas.
What subset is implemented (perhaps better, where is this documented).
Richard
On 07/18/2013 07:16 PM, Moritz Lenz wrote:
On 07/18/2013 01:07 PM, Richard Hainsworth wrote:
Are set operations needed in Perl6? No implementation of the perl6 set
specification yet exists (AFAIK).
You
On Thu, Jul 18, 2013 at 07:07:20PM +0800, Richard Hainsworth wrote:
I wondered whether the desire to have sets in perl6 was driven by
mathematical fashion sensitivity (in some roundabout unconscious
way) and because sets are important to mathematical foundations.
[...]
Sets do not implement
