monomorphism restriction

John Meacham
Fri, 23 May 2003 20:23:15 -0700

Just a random thought, What would be the effect of lifting the
monomorphism restriction under the condition that assignments which
would normally be subject to the restriction must be memoized on the
class constraint parameter by the implementation?

it seems that this would solve the problems which inspired the
monomorphism restriction since the value can be shared among all
instantiations when the type is the same.

I am posting this to haskell-cafe because it might just be half-baked.

John Meacham - California Institute of Technology, Alum. -