> 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
For more options, visit https://groups.google.com/d/optout.