Oops, that last message went out to the mailing list by mistake. Term has
started and the stress must be getting to me. Fortunately most of it could
well go onto the list anyway!
With foot in mouth,
Chris Dornan[EMAIL PROTECTED]
University College Cork http://www.cs
> I'm confused. I thought at the ICFP Haskell meeting we agreed
> on the following types:
>
>length :: Integral i => [a] -> i
>take, drop :: Integeral i => i -> [a] -> [a]
>showsPrec :: (Show a, Integral i) => i -> a -> ShowS
> I'm not against adopting a conservative de
At 18:09 +0100 98/10/04, Chris Dornan wrote:
>As a plain, ordinary punter could I ask for one of two things:
>
> 1) More or less kill Int as a general-purpose type and adopt unbounded
> integers (Integer) as the standard integral type. If you do this then
> please put
> type
> Following quite a bit of discussion at a meeting at ICFP,
> and subsequent discussion with a smaller group at Yale,
> I must say that I am now strongly inclined to adopt (2); that is,
> to make Haskell 98 be the same as Haskell 1.4 on Int vs Integer matter.
> (This differs from the view put for
> I must say that I am now strongly inclined to adopt (2); that is,
> to make Haskell 98 be the same as Haskell 1.4 on Int vs Integer matter.
Thank you Simon for those sensible words.
I'm for a very conservative design for Haskell 98; we can always play
around with new ideas in Haskell 2.000 (or
> I don't understand this. For old programmes, the right thing to do
> would surely be to use the compiler to determine which modules require
> the addition of "import Int", and if the standard prelude has the
> above declaration, wouldn't it make it harder? Probably one would put
> an explicit
Simon proposes not to change the prelude to support Integer,
giving this argument:
The more this topic gets discussed the more I that it's like
other Prelude things: you pull on one thing and the plate of
spaghetti ends up in your lap.
I'm confused. I thought at the ICFP Haskell meeting w
> As a plain, ordinary punter could I ask for one of two things:
>
>1) More or less kill Int as a general-purpose type and
> adopt unbounded
> integers (Integer) as the standard integral type.
>
>2) Stay with the current situation.
>
Following quite a bit of discussion a
