Recursive protocol constraints


(Rex) #1

Does "Permit where clauses to constrain associated types" (
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
also
include "Recursive protocol constraints"? The "Motivation" section seems to
imply this. If not, will this be making it into Swift 4?

Thanks!

···

--

Rex Fenley | IOS DEVELOPER

Remind.com <https://www.remind.com/> | BLOG <http://blog.remind.com/>
> FOLLOW
US <https://twitter.com/remindhq> | LIKE US
<https://www.facebook.com/remindhq>


(Dave Abrahams) #2

They're related but distinct issues. We're working on delivering both
of them for Swift 4.

···

on Tue Feb 07 2017, Rex Fenley <swift-evolution@swift.org> wrote:

Does "Permit where clauses to constrain associated types" (
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
also
include "Recursive protocol constraints"? The "Motivation" section seems to
imply this. If not, will this be making it into Swift 4?

--
-Dave


(Douglas Gregor) #3

Does "Permit where clauses to constrain associated types" (
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
also
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

···

Sent from my iPhone

On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution <swift-evolution@swift.org> wrote:

on Tue Feb 07 2017, Rex Fenley <swift-evolution@swift.org> wrote:

--
-Dave

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution


(Austin Zheng) #4

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.

(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.)

Austin

···

On Feb 7, 2017, at 8:57 PM, Douglas Gregor <dgregor@apple.com> wrote:

Sent from my iPhone

On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution <swift-evolution@swift.org> wrote:

on Tue Feb 07 2017, Rex Fenley <swift-evolution@swift.org> wrote:

Does "Permit where clauses to constrain associated types" (
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
also
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

--
-Dave

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution


(Slava Pestov) #5

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.

Slava

···

On Feb 7, 2017, at 9:12 PM, Austin Zheng via swift-evolution <swift-evolution@swift.org> wrote:

(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.)

Austin

On Feb 7, 2017, at 8:57 PM, Douglas Gregor <dgregor@apple.com> wrote:

Sent from my iPhone

On Feb 7, 2017, at 3:05 PM, Dave Abrahams via swift-evolution <swift-evolution@swift.org> wrote:

on Tue Feb 07 2017, Rex Fenley <swift-evolution@swift.org> wrote:

Does "Permit where clauses to constrain associated types" (
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md)
also
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

--
-Dave

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution