On Wed, Oct 10, 2007 at 12:29:07PM +0200, [EMAIL PROTECTED] wrote: > ChrisK writes: > >There are two things in Floating, the power function (**) [ and sqrt ] > >and the transcendental functions (trig functions,exp and log, and > >constant pi). > > > >Floating could be spit into two classes, one for the power and one for the > >transcendental functions. > > The power is an abomination for a mathematician. With rational exponent it > may generate algebraic numbers, with any real - transcendental... The > splitting should be more aggressive. It would be good to have *integer* > powers, whose existence is subsumed by the multiplicative s.group structure. > But the Haskell standard insists that the exponent must belong to the same > type as the base...
I suppose you're unfamiliar with the (^) operator, which does what you describe? It seems that you're arguing that (**) is placed in the correct class, since it's with the transcendental functions, and is implemented in terms of those transcendental functions. Where is the abomination here? -- David Roundy Department of Physics Oregon State University _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
