On 4/19/12 7:02 PM, Richard O'Keefe wrote:
For a specific example, I haven't the faintest intuition about
what 'map' should do. Suppose we have
{(k1)x1, (k2)x2}
and f x1 == f x2 = y. Should the value of map f {...} be
{(k1+k2)y} or {(k1`max`k2)y} or what?
Good question. I'd suppose that they should be parametrized by any
(Abelian?) group on the weights/multiplicities, where (+) is the
canonical one since we're talking about "negative" membership. Though
it'd be nice to get clarification, and to actually have the group/etc be
a parameter (i.e., by type class constraint) rather than hard-coded into
the structure.
--
Live well,
~wren
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
