Re: To all those who don't like ad-hoc overloading

[Joe English]

Kevin Atkinson wrote:

> "Generic comparison function" is not really what I mean here.  What I
> mean is a single generic union which will have its
> comparison function default to (==) if one is not specified.
>
> It COULD be written something like
>
> union (cmp = (==)) l1 l2
>   ...
> where
>   union l1 l2
> means
>   union (==) l1 l2


I don't quite see what algorithm you're using
to decide how many arguments are passed
to the function.

What would you get if you typed:

    foo = foldr union []

for example?


--Joe English

  [EMAIL PROTECTED]