Marcin 'Qrczak' Kowalczyk wrote:
> Haskell's type system is powerful, but cannot express anything at
> compile time. Very dynamic domains must be represented as runtime
> objects, i.e. values. These values and elements of those domains have
> carefully designed types, because Haskell is staticall
Thu, 11 May 2000 13:43:20 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> Why the classes are desirable here?
> Because the example functions fsq, (==), (+), (*)
> act in a *uniform way* for the residue domains
> Z/(4), Z/(5) ...
To my
> Here is a small, concrete and real example, more illustrative
> than the variable vector space, though, very similar with respect
> to Haskell.
> If this can be programmed adequately with the constructor classes,
> and such, this will mean a great deal.
Marcin 'Qrczak' Kowalczyk <[EMAI
