Alex Ferguson <[EMAIL PROTECTED]>
writes
>Sergey Mechveliani writes:>
>> But question aside, on "MPC forces me to use non-variable contexts":
>> its this necessary to represent a Set as a constructor class?
>> Why do not declare
>> class (Foo a,Foo' b) => Set a b where ...
>> ?
>I'm not sure I follow. Can you elaborate on how this would help?
Probably, i missed the point. I thought of the generic *sets*, say,
{the set of all integers that satisfy this and that} ...
And you recently write
>The idea is to generalise numeric operations from sets (intervals say),
>to sets of sets (lists of intervals) ...
So i remove my last remark.
And, indeed, the solutions like instance C (s n)=> D [(s n)] where...
seem in-avoidable in practice.
I am going to try to represent a vector space v over a field k as
a constructor class. And expect to be stuck at the point of this type
context restriction.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
