Re: The dreaded M-R

On Fri, Jan 27, 2006 at 06:05:56PM -0500, Robert Dockins wrote:

One aspect of this discussion I've yet to see that I think is important is, how do the various proposals for removal/modifications of M-R impact implicit parameters? Are implicit parameters likely to be in Haskell'? It seems like the proposal to default to polymorphic binding and have special syntax for monomorphic binding also fixes one of the major probems now with implicit parameters.

I strongly doubt it. implicit parameters are quite broken semantically and there are better solutions to the problem they are intended to solve which they never solved that well to begin with. John -- John Meacham - ⑆repetae.net⑆john⑈