Changes between Initial Version and Version 1 of MonomorphismRestriction/MonomorphicVariableAndPatternBindings


Ignore:
Timestamp:
May 14, 2008 3:08:00 PM (7 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