10 Jan
2008
10 Jan
'08
11:05 a.m.
Nicholls, Mark wrote:
Classes are groups of types. Sets of types. Classifications of types.
I had them down as an n-ary relation on types....someone's said something somewhere that's made me question that...but I think I misinterpreted them....so I may default back to n-ary relation.
Yes, and 1-ary relations are sets. And haskell98 only supports unary type classes, and all our discussion so far had been about unary type classes. But, since you mention it, yes MPTCs are n-ary relations. Jules