[swift-evolution] Recursive protocol constraints
spestov at apple.com
Tue Feb 7 23:17:29 CST 2017
> On Feb 7, 2017, at 9:12 PM, Austin Zheng via swift-evolution <swift-evolution at swift.org> wrote:
> I would like to get the PR revised and into the review process soon, as it should have been a month ago. Is there a good place to review the in-progress work? I think it would go a long way to help complete the auditing of the necessary standard library changes.
I don’t think the code is at a stage yet where you can actually define and use a recursive conformance. Doug is still squashing recursive walks over nested types, which are by definition non-terminating with a recursive conformance.
> (Alternately, if anyone is interested in picking it up from me I'm open to that as well. Whatever is best for the community is the best way forward.)
>> On Feb 7, 2017, at 8:57 PM, Douglas Gregor <dgregor at apple.com> wrote:
>> Sent from my iPhone
>>> On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution <swift-evolution at swift.org> wrote:
>>>> on Tue Feb 07 2017, Rex Fenley <swift-evolution at swift.org> wrote:
>>>> Does "Permit where clauses to constrain associated types" (
>>>> include "Recursive protocol constraints"? The "Motivation" section seems to
>>>> imply this. If not, will this be making it into Swift 4?
>>> They're related but distinct issues. We're working on delivering both
>>> of them for Swift 4.
>> Austin Zheng was working on a proposal for recursive protocols conformances, but we're charging forward on the implementation regardless. It's a delightful feature.
>> - Doug
>>> swift-evolution mailing list
>>> swift-evolution at swift.org
> swift-evolution mailing list
> swift-evolution at swift.org
More information about the swift-evolution