9 Sep
2005
9 Sep
'05
8:37 a.m.
On 2005-09-08, John Meacham <john@repetae.net> wrote:
of course, we can't do this because Num has Ord and Show as superclasses when it really doesn't need to. (we would have to create a separate class for 'pattern matchable nums' if we got rid of those, but that is no problem other than being non-haskell-98 compatable). Solving this 'class inflexibility' problem in general is something I have given some thought too. I will let everyone know if I figure something out...
Has anyone found any problem with your "superclasses" proposal? http://repetae.net/john/recent/out/supertyping.html -- Aaron Denney -><-