Changes between Initial Version and Version 1 of MonomorphismRestriction/MonomorphicBindingOperator


Ignore:
Timestamp:
May 14, 2008 3:03:01 PM (7 years ago)
Author:
simonmar@…
Comment:

text moved from MonmorphismRestriction?

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphismRestriction/MonomorphicBindingOperator

    v1 v1  
     1= A monomorphic binding operator = 
     2 
     3Introduce a new binding operator for monomorphic bindings, eg. {{{:=}}}. 
     4 
     5See [http://www.haskell.org//pipermail/haskell-prime/2006-January/000038.html John Hughes' proposal]. 
     6 
     7'''For:''' 
     8 * Simpler and more consistent than the M-R 
     9 
     10'''Against:''' 
     11 * The reason for having two kinds of binding is subtle and hard to explain to newcomers. 
     12 * Still a wart, but an even more visible one.