Changes between Version 1 and Version 2 of NoMonomorphismRestriction


Ignore:
Timestamp:
Aug 6, 2009 11:15:02 AM (6 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NoMonomorphismRestriction

    v1 v2  
    4949[wiki:MonomorphismRestriction/MonomorphicVariableAndPatternBindings Bindings are monomorphic unless constrained by a type signature] 
    5050 
    51   Seems against the spirit of Haskell. 
     51  Seems against the spirit of Haskell.  But see [http://research.microsoft.com/~simonpj/papers/constraints/index.htm Let should not be generalised] which argues the case for this approach, at least for nested bindings. 
    5252 
    5353== References ==