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
And regardless of homotopy type theory being able to supplant set theory,
with the spirit of there's more than one way to do it, set ops are still
a welcome tool.
Also in that spirit, would you like to write up a summary of HoTT
alternatives to common set ops, or post a link to a HoTT summarzing
All set operations work on Rakudo, but none of the Unicode set
operators are enabled, because multibyte Unicode characters kill the
performance of Rakudo's parser when compiling Rakudo.
So for example you can use (|) for set union, but not ∪. I think
there are probably some glitches there yet,
Full list of Texas (ie ASCII) set operators:
union: (|)
intersection: ()
set difference: (-)
symmetric difference: (^)
subset: (=)
proper subset: ()
superset: (=)
proper superset: ()
is an element of: (elem)
is contained by: (cont)
On Thu, Jul 18, 2013 at 11:45 AM, Solomon Foster
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