[Haskell-cafe] language proposal: ad-hoc overloading

[Bulat Ziganshin]

Hello Ryan,

Sunday, August 31, 2008, 10:21:44 PM, you wrote:

> Cons: potentially exponential compile time?

yes, and exponential programming complexity growth, going to brain explosion :)

don't forget that OOP languages that supports ad-hoc overloading
doesn't allow to infer types in both directions. it seems that we
should trade one feature for another


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com