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@botik.ru