10 Jan
2008
10 Jan
'08
3:45 p.m.
Nicholls, Mark wrote:
I only have 1 type.
If I say "my name is mark" twice, it doesn't mean I belong to set of objects called Mark twice....
Typeclasses define not only sets of types, but a common interface for these types, too. An analogy would be to say: I have a name, and it is Marc. I have a name, and it is John. From a "set of things" perspective, there is no problem: you belong to the set of people having a name. But what name should I actually use when I want to adress you? Tillmann