[Haskell-cafe] Re: Positive integers

Henning Thielemann lemming at henning-thielemann.de
Fri Mar 24 12:47:04 EST 2006

On Fri, 24 Mar 2006, Aaron Denney wrote:

> Basically, my big objection is that it's hard to define many useful
> operations on them that are statically safe.

Why not defining the Torsor class you suggested?

>  Any definition of Num a for instance leaves a whole bunch of unsafe 
> methods, or just plain inapplicable methods, such as "negate".

Yes Num class is quite inappropriate.

> Now granted, the numeric hierarchy should be broken up a bit (hmm, I
> should finish my strawman proposal for Haskell'), but even then I see
> problems.

Hm, is there something going on? Without breaking compatibility? But class 
instances become invalid if the hierarchy is modified. If there is some 
progress towards a refined numeric class hierarchy I want to point again 
   I hope I don't annoy you. :-)

More information about the Haskell-Cafe mailing list