[swift-evolution] [Review] SE-0142: Permit where clauses to constrain associated types

[Nate Cook]

> https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md

> What is your evaluation of the proposal?
[Smiling Face With Heart-Shaped Eyes Emoji]

One of the examples given (associatedtype SubSequence : Sequence where SubSequence...) looks like it would run afoul of the (current?) limitations on recursive protocols. Have those been resolved, or is resolving that part of the work of this change?

Other than that question, I give this the heartiest +1 I can muster!

> Is the problem being addressed significant enough to warrant a change to Swift?
Definitely—this will have significant effects on not only the standard library itself, but also extensions written by developers using Swift.

> Does this proposal fit well with the feel and direction of Swift?
Yes!

> If you have used other languages or libraries with a similar feature, how do you feel that this proposal compares to those?
n/a

> How much effort did you put into your review? A glance, a quick reading, or an in-depth study?
I've read the proposal and wrestled many times with extensions that require several annoyingly unnecessary `where` clauses. 

Nate
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160924/33a9e051/attachment.html>