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 http://en.wikipedia.org/wiki/Homotopy but not much more.... -y On Thu, Jul 18, 2013 at 7:16 AM, Moritz Lenz <mor...@faui2k3.org> 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 >