[Haskell-cafe] Data constructors
Mark Carroll
mark at chaos.x-philes.com
Sun Apr 25 21:47:34 EDT 2004
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
More information about the Haskell-Cafe
mailing list