On Sun, 25 Apr 2004, Scott Turner wrote:
(snip)
> Must function concepts such as 'union' can be made into type classes, to the
> extent that the concept can be described in the type system.
(snip)
Unfortunately, you still need the different names when you make the
instances, and you can't do things like foo { bar = baz } with the "bar"
as the name of the function in the class instead of the field name /
selector function that's used in the instance, AFAIK.
(Thanks for your other comments.)
-- Mark
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
