Simon PJ writes:
> I think we should
> - generalise length, splitAt, drop, take, replicate
> - generalise toEnum, fromEnum
> - leave (!!) alone (arrays must fit in an address space)
> I don't know what to do about RealFloat. Sigh
If the goal is to make life easy for beginners (and to make it easy to
avoid overflow errors), shouldn't we generalise *all* uses of Int, so
that a beginner can use Integer uniformly everywhere, and need never
know about Int?
Even given this principle, it's not clear what to do about RealFloat,
which has both Int and Integer: generalize both to the same type
variable, generalize each separately, generalize Int only, or replace
Int by Integer? -- my guess is the first is correct.
Uniformly generalizing Int strikes me as the right thing to do,
although I hope before we commit to it someone will test it in advance,
say on a subset of the Nofib suite. -- P
