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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
