20 Nov
2009
20 Nov
'09
6:10 p.m.
I've been on this list for something like 7 months and I think "monomorphism restriction" is the answer to about 70% of newbie/intermediate questions. I don't always understand their questions but one can pretty much guess the answer. Daniel Fischer wrote:
Monomorphism restriction. By that, if you bind f via
f = (blah blah blah)
and don't give a type signature, f gets a monomorphic type. Dreadful details in the report, section 4.5.(?)