25 Apr
2004
25 Apr
'04
8:47 p.m.
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