YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)
twhitehead at gmail.com
Mon Oct 17 20:05:48 CEST 2011
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?
More information about the Libraries