25 Nov
2010
25 Nov
'10
5:09 a.m.
El Jue, 25 de Noviembre de 2010, 4:53 am, Sebastian Fischer escribió:
I'd like to have Haskell Type Constraints Unleashed
http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
An example from the paper:
constraint Num a = (Additive a, Multiplicative a, FromInteger a)
It seems a very nice feature. I commonly write the same context many times. In other cases, I need to make the same change on many equal contexts. I wonder if there is something negative in this feature. -- Daniel Díaz