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
rece
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
I'm well behind the curve on implementation, this I know.
But before writing the email, I checked the perl6 web site on what was
implemented. Set operations still given as not implemented.
The impression I formed was that set operations would be a long time
coming - even after Christmas.
Wh
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, pa
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 wrote:
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 impleme
