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:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to