Changes between Initial Version and Version 1 of MonomorphismRestriction/MonomorphicVariableAndPatternBindings


Ignore:
Timestamp:
May 14, 2008 3:08:00 PM (6 years ago)
Author:
simonmar@…
Comment:

text moved from MonmorphismRestriction?

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction/MonomorphicVariableAndPatternBindings

    v1 v1  
     1= All variable/pattern bindings are monomorphic unless a signature is given = 
     2 
     3(one of the proposals for reforming the MonomorphismRestriction) 
     4 
     5'''For:''' 
     6 * Simpler than the M-R 
     7 * Polymorphism in local variable bindings is rare (but less rare at the top-level), and can always be recovered with a type signature 
     8 
     9'''Against:''' 
     10 * Against the spirit of Haskell - shouldn't compromise expressiveness for performance by default 
     11 * Already huge potential for ruining your performance without the M-R, why introduce such draconian measures just for this? 
     12 * Monomorphic bindings lead to hard to understand errors when polymorphism was expected 
     13 * Haskell doesn't define an operational semantics so introducing a concept of sharing into the report would be odd. 
     14