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 its
relation to algorithmically manipulating data? I downloaded the free PDF of
that book but I'm afraid most of it will go over my head. I can grok the
figures in but not much more....


On Thu, Jul 18, 2013 at 7:16 AM, 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 rakudo and niecza implement significant subsets of the
> set specification.
> Cheers,
> Moritz

Reply via email to