YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)

[Tyson Whitehead]

On October 13, 2011 18:47:48 Paterson, Ross wrote:
> Tyson Whitehead writes:
> >> http://hackage.haskell.org/package/yap
> > 
> > I was looking through YAP a bit and was not certain about what was there
> > only for compatibility as apposed to because it was also still good.
> > 
> > Am I correct in understanding, if you were starting from scratch:
> > 
> > - Num, Fractional, Real, and Integral would get axed, and
> > - EuclidianDomain, Ring, and Field would form the base.
> 
> Fractional would be superfluous, but people would probably still want
> to overload abs, signum, toRational, quot, rem and toInteger for the
> standard numeric types.  Maybe the classes would have different names.

Thanks for getting back to me on this Ross.  I was also wondering about 
putting fromInteger and fromRational in Ring and Field.

I would have imagined that not all rings and fields would have reasonable 
injections from the set of integers and rational numbers.

Is this not the case?

Thanks!  -Tyson