[Haskell-cafe] language proposal: ad-hoc overloading
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Sun Aug 31 15:25:41 EDT 2008
On 2008 Aug 31, at 14:58, Daniel Fischer wrote:
> Am Sonntag, 31. August 2008 20:21 schrieb Ryan Ingram:
>> Do you see it? All those "M." just seem dirty to me, especially
>> because the compiler should be able to deduce them from the types of
>> the arguments.
> Another Con is that the compiler can catch fewer programming errors
> that way.
If omitting the qualifier doesn't cause this already then I don't
think it will be much of a problem (either it won't find what you're
looking for or it will be ambiguous).
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
More information about the Haskell-Cafe