Changes between Version 1 and Version 2 of MonomorphismRestriction


Ignore:
Timestamp:
Jan 30, 2006 11:30:39 PM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction

    v1 v2  
    3434 * Still a wart, but an even more visible one.
    3535
     36== A monomorphic binding syntax ==
     37
     38behave just like the monomorhpic binding operator, but instead of having a new
     39operator, use parens as in:
     40
     41{{{
     42(shared) = 3 + 4    -- monomorphic binding
     43}}}
     44
     45see http://www.haskell.org//pipermail/haskell-prime/2006-January/000117.html
     46
     47'''For:'''
     48 * Simpler and more consistent than the M-R
     49 * doesn't eat up a new operator
     50 * can be seen as a degenerate case of the standard 'pattern matching is monomorphic' rule
     51 * syntax makes it clear this is something that can happen to values and not functions
     52 * we are already used to (=) being overloaded in this way
     53
     54'''Against:'''
     55 * same as above
     56
    3657== All variable/pattern bindings are monomorphic unless a signature is given ==
    3758