Koen Claessen:
> I want to propose a modest extension to Haskell, which
> would solve a common irritating problem in programming
> in Haskell, and on-the-fly solves the practical programming
> problems occuring due to the monomorphism restriction.
I've banged into this more than once, so I have more than a little
sympathy for your suggestion. As you imply, though, it's at its
most annoying when one is forced to add types due to the MR, and
at least in this case, it's something of a case of treating the
symptom, rather than the disease. I'd be happy to see something
like this in Haskell 2, as well as, but not instead of, a revisited/
improved/abolished MR.
(Before I'm accused of aimless wish-listing, John Hughes produced
a proposal for distinguishing MR-bound and non-MR-bound equations,
which seemed to me to be a perfectly satisfactory treatment (unlike
the status quo, which I find distintictly tiresome).)
Cheers,
Alex.
