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

Johannes Waldmann waldmann at imn.htwk-leipzig.de
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).

Yes!


Best regards, Johannes Waldmann.



More information about the Libraries mailing list