Changes between Version 2 and Version 3 of NoMonomorphismRestriction


Ignore:
Timestamp:
Nov 22, 2009 9:59:27 PM (6 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NoMonomorphismRestriction

    v2 v3  
    5050
    5151  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.
     52
     53== Opposition ==
     54
     55In the discussion on the mailing list, Simon Peyton Jones wrote:
     56
     57As many of you will know I am now leaning
     58strongly towards doing no generalisation whatsoever on nested bindings.   See   
     59http://research.microsoft.com/~simonpj/papers/constraints/index.htm
     60
     61So I'd cut the cake differently:                                               
     62 * top level: generalise, no monomorphism restriction                   
     63 * nested: do not generalise, monomorphism restriction for every binding
    5264
    5365== References ==