[Haskell-cafe] Thoughts about redesigning "Num" type class

[Jerzy Karczmarczuk]

Le 12/09/2015 14:39, Olaf Klinke a écrit :
> semirings might be a useful typeclass to have. Another example: Non-negative reals with infinity, the values that a measure can take.
Could you mention, please, a system whose measures are for sure positive 
reals, infinity included?
Perhaps your definition of "measure"should be precised...
Thanks.

Jerzy Karczmarczuk