The dreaded M-R
andrew at pimlott.net
Mon Jan 30 18:15:18 EST 2006
On Mon, Jan 30, 2006 at 11:06:29PM +0100, lennart at augustsson.net wrote:
> Quoting Andrew Pimlott <andrew at pimlott.net>:
> >In the present case, people aren't (only) opposing the M-R out of
> >principle, but because they actually use overloaded variable definitions
> >and (at least sometimes) want to leave off the signature. So I don't
> >see how one could claim, as on the wiki, the warning "wouldn't happen
> >much". I suspect it would happen, and annoy people, and defeat the
> >reason that people want to remove the M-R.
> So I envisage that you'd turn off the warning in the same way as
> you turn off the M-R today: by a type signature.
But if people were happy adding type signatures for every polymorphic
variable definition, they wouldn't be moving to eliminate the M-R, would
they? Or do I misunderstand?
More information about the Haskell-prime