On 03/01/2014 8:40 PM, Jonathan S. Shapiro wrote:
Basically, Interfaces are the mechanism for existential quantification.
interfaces = existential quantification + overloading interfaces = existential quantification + single parameter type classesSo the ultimate question is whether existentials are ever convenient beyond overloading scenarios.
Sandro
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
