[Haskell-cafe] Equality constraint "synonyms"
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
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.
More information about the Haskell-Cafe