PROPOSAL: Restrict the type of (^), (^^), and add genericPower, genericPower'

Johannes Waldmann waldmann at
Sat Nov 17 11:48:52 EST 2007

Cale Gibbard wrote:

> [...] The Int type is usually a premature optimisation,

> [...] I would much prefer for length, !!, etc. to have more general types,
> not less general (with compiler specialisation on Int of course).


Best regards, Johannes Waldmann.

More information about the Libraries mailing list