On  3 Aug, [EMAIL PROTECTED] wrote:
> so sqrt :: (Numeric n, Floating f) => n -> f

whoops!  I meant to say 
sqrt :: (Numeric n,  Numeric f) => n -> f

or something - the important bit was that the result type shouldn't be
constrained to be the same as the argument, because while sqrt int is
meaningful it doesn't usually give an int result.  What you get back
should depend on what you use it for.

-- 
Jon Fairbairn                                 [EMAIL PROTECTED]
18 Kimberley Road                                        [EMAIL PROTECTED]
Cambridge CB4 1HH                      +44 1223 570179 (pm only, please)




Reply via email to