The dreaded M-R

John Meacham john at
Sat Jan 28 17:40:32 EST 2006

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 Meacham - ⑆⑆john⑈ 

More information about the Haskell-prime mailing list