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

Bulat Ziganshin bulat.ziganshin at gmail.com
Sun Aug 31 14:54:59 EDT 2008

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

More information about the Haskell-Cafe mailing list