At 10:58 12/07/03 +0100, Alastair Reid wrote:
we could have 'context synonyms' like:
class Num a => (Add a, Subtract a, FromInteger a, Eq a, Multiply a, ...)
Adding context synonyms would make it possible to write types concisely when using fine-grained class hierarchies and would also be useful with extensions like Hugs' T-REX or implicit parameters.
I must be missing something... isn't the effect achieved by:
class (Add a, Subtract a, FromInteger a, Eq a, Multiply a, ...) => Num a
?
I guess it would be nice if declaring an instance of Num could specify the
methods for Add, Subtract, etc...), but that seems a small thing, and I'm
not sure it wouldn't introduce other problems.
#g
-------------------
Graham Klyne