At 12:25 +0100 1999/05/05, Jerzy Karczmarczuk wrote:
>Operations within a class are not Objects (instances of).
I have noticed that there is a simple principle of abstraction (or generality):
If one wants to achieve a greater generality, allow the operations to be
objects.
It a achieves a great
Hans Aberg:
> The thing is though that Haskell fixes the names of the symbols one can use
> in say a group. So if one cannot express a group as a quadruple (G, e, *,
> ^-1), then there is no way from the concept of a group to derive the
> concept of an Abelian group, and then by derivation saying
