sizeFM type

[Serge D. Mechveliani]

On Sun, Apr 25, 2004 at 02:45:26PM +0100, Duncan Coutts wrote:
> On Sun, 2004-04-25 at 14:32, Serge D. Mechveliani wrote:
> > Dear GHC developers,
> > 
> > Probably, it is better to provide   Integer
> > or                                  Integral a => a
> > instead of                          Int
> > in the function
> >                 sizeFM :: FiniteMap k e -> Int
> > 
> > What do you think of this?
> 
> Are you planning to put more than 2^31 entries into your FiniteMap?


Why not? I never use  Int.
Writing a program I imagine it to perform on various machines,
and also the ones to appear in future. 
To my mind, the program itself should not change from machine to 
machine.

> I don't think I could afford a machine with the >16GB of ram necessary
> to do that.
> 
> I guess this same argument took place over the Prelude.length function.
> The conclusion was to add List.genericLength :: Num a => [b] -> a
> 

So, we probably need   genericSizeFM ...

-----------------
Serge Mechveliani
mechvel at botik.ru