ahey at iee.org
Tue Mar 7 07:55:49 EST 2006
On Monday 06 Mar 2006 9:52 pm, Jean-Philippe Bernardy wrote:
> You "just" need to witness the types you define Map2 for as
> parameters. A bit tricky, I grant you, but nonetheless logical. Once I
> got used to it I didn't find it any more difficult than the
> constructor-class approach.
Maybe, but does it have any advantages?
Also, is there a solution to the problem with intersectionWith?
intersectionWith :: (a -> a -> a) -> c -> c -> c
intersectionWith :: (a -> b -> c) -> map a -> map b -> map c
More information about the Libraries