Could we move this debate to Haskell-caf�? Simon
| -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Serge D. | Mechveliani | Sent: 27 April 2004 05:49 | To: Ketil Malde | Cc: [EMAIL PROTECTED] | Subject: Re: [Haskell] Re: sizeFM type | | On Mon, Apr 26, 2004 at 10:09:18PM +0200, Ketil Malde wrote: | > "Serge D. Mechveliani" <[EMAIL PROTECTED]> writes: | > | > > Alexander is right. | > > | > > Also as Integer has more sense than Int, | > > I would suggest for the future standard Haskell library to have | > > Integer as default. For example: | > > length :: [a] -> Integer | > > smallLength :: [a] -> Int | > | > Hmm...isn't it possible to use a class here? Perhaps even Num? | > | > class Num a where .... | > : | > length :: [b] -> a | > : | > | | I think, for many functions, like length, it is most natural to | return Integer only. | And it is also natural for many instances (domains) D to provide | maps like toInteger, fromInteger. | Just follow mathematics. | | Example: length xs :: (Rational, Rational) | looks unnatural, | but fromInteger (length xs) :: (Rational, Rational) | looks natural. | | ----------------- | Serge Mechveliani | [EMAIL PROTECTED] | | | _______________________________________________ | Haskell mailing list | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/haskell _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
