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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
