Changes between Version 1 and Version 2 of MonomorphismRestriction


Ignore:
Timestamp:
Jan 30, 2006 11:30:39 PM (8 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