I wrote up the following draft proposal around attempting to clarify protocol 
implementation and protocol extensions, via annotating methods and properties 
meant to satisfy protocol requirements with additional keywords:

"Types implementing protocols with optional features (either through default 
implementations on extensions, or optional methods on objective-C protocols) do 
not have a way to detect either local typos or later upstream changes to the 
protocol  method signatures will result in behavioral changes. This proposal 
attempts to rectify that in a manner similar to override on subclassed types."

I’d appreciate feedback from the list! This is very much a first draft, likely 
filled with tyops.

https://gist.github.com/dwaite/5a10e759a0efd0d9d16e066db4291552 
<https://gist.github.com/dwaite/5a10e759a0efd0d9d16e066db4291552>

-DW
_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to