Changes between Version 2 and Version 3 of NoMonomorphismRestriction


Ignore:
Timestamp:
Nov 22, 2009 9:59:27 PM (5 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 ==