[Haskell-cafe] Equality constraint "synonyms"

Daniel Díaz danieldiaz at asofilak.es
Thu Nov 25 11:09:46 CET 2010

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

More information about the Haskell-Cafe mailing list