> Le 11 nov. 2017 à 16:48, Joe Groff via swift-evolution > <swift-evolution@swift.org> a écrit : > > That'd be great, but Swift violates Gilad Bracha's golden rule by having > static overloading, and throws bidirectional type inference on top, so our > static name resolution can't be treated as a specialization of a dynamic name > lookup mechanism in all cases.
I didn't know of Gilad Bracha, so you made me curious. I guess that the "golden rule" you refer to is here, for anyone curious: https://gbracha.blogspot.fr/2009/09/systemic-overload.html <https://gbracha.blogspot.fr/2009/09/systemic-overload.html> Gwendal Roué
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
