Changes between Version 2 and Version 3 of MonomorphismRestriction


Ignore:
Timestamp:
Jan 31, 2006 3:10:54 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction

    v2 v3  
    1616 * nhc98 has never implemented the M-R, and users haven't found any significant problems as a result 
    1717 * Hugs has a different (non-Haskell98) implementation of the M-R 
     18 * Haskell doesn't specify an evaluation strategy so introducing the concept of 'sharing' is strange indeed. 
    1819 
    1920'''Against:''' 
     
    5354 
    5455'''Against:''' 
    55  * same as above 
     56 * would make parentheses matter in a certain situation (n+k patterns and negative literals already do this) 
     57 
    5658 
    5759== All variable/pattern bindings are monomorphic unless a signature is given == 
     
    6567 * Already huge potential for ruining your performance without the M-R, why introduce such draconian measures just for this? 
    6668 * Monomorphic bindings lead to hard to understand errors when polymorphism was expected 
     69 * Haskell doesn't define an operational semantics so introducing a concept of sharing into the report would be odd. 
     70