wiki:MonomorphismRestriction/MonomorphicBindingOperator

Version 1 (modified by simonmar@…, 6 years ago) (diff)

text moved from MonmorphismRestriction?

A monomorphic binding operator

Introduce a new binding operator for monomorphic bindings, eg. :=.

See John Hughes' proposal.

For:

  • Simpler and more consistent than the M-R

Against:

  • The reason for having two kinds of binding is subtle and hard to explain to newcomers.
  • Still a wart, but an even more visible one.