> On Apr 24, 2018, at 9:38 AM, David Storrs <david.sto...@gmail.com> wrote: > > On Tue, Apr 24, 2018 at 12:09 PM, David Storrs <david.sto...@gmail.com > <mailto:david.sto...@gmail.com>> wrote: >> On Tue, Apr 24, 2018 at 11:11 AM, Vincent St-Amour >> <stamo...@eecs.northwestern.edu> wrote: >>> FWIW, this `multi-partition` sounds a lot like the built-in `group-by`. >> >> It has significant extra processing options:
FWIW as a fan of both `partition` and `group-by`, I think `multi-partition` is a misnomer. In math, a partition is any division of a set into nonintersecting subsets — maybe two pieces, maybe more. So coinages like `multi-partition` and `#:partitions` seem squishy. Also, whereas `partition` is essentially two `filter`s, your `multi-partition` works in terms of equivalence classes (which is the underlying idea of `group-by` too). -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
