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.