Not an author, but I asked Ben a similar question during the pitch to one of yours.<br><br>He clarified that the intention was to constrain Filtered to Sequence once recursive constraints are implemented. Collection will refine to constrain Filtered to Collection, and Ben said that this was about as far as he was willing to go in terms of successive refinements.<br><div class="gmail_quote"><div dir="ltr">On Wed, May 3, 2017 at 00:33 Brent Royal-Gordon via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><blockquote type="cite"><div>On Apr 28, 2017, at 5:06 PM, Douglas Gregor via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:</div><br class="m_3132733080849850582Apple-interchange-newline"><div><ul style="font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;box-sizing:border-box;padding-left:2em;margin-top:0px;margin-bottom:16px;color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><li style="box-sizing:border-box">What is your evaluation of the proposal?</li></ul></div></blockquote></div></div><div style="word-wrap:break-word"><div><blockquote type="cite"></blockquote><div>I'm in favor of this proposal, and I don't agree with the previous reviewers who think this should be coupled with more advanced type system features. However, I have a few questions:</div><div><br></div><div>* How will associated type inference interact with this? If you write a type-specific `filter`, will it be automatically favored over the `Array` version, or will you have to manually specify a `Filtered` typealias?</div><div><br></div><div>* Do we want to constrain `Filtered` to `Sequence` or `Collection`? Do we want to require `where Filtered.Iterator.Element == Self.Iterator.Element`?</div><div><br></div><div>* Will `AnySequence`/`AnyCollection` have a `Filtered` of type `AnySequence`/`AnyCollection`, or one of type `Array`?</div><div><br></div><div>No time for a full review, but I thought it'd be helpful to note these things before the review period was up.</div><div><br></div></div></div><div style="word-wrap:break-word"><div>
<span class="m_3132733080849850582Apple-style-span" style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div><div style="font-size:12px">-- </div><div style="font-size:12px">Brent Royal-Gordon</div><div style="font-size:12px">Architechies</div></div></span>
</div>
<br></div>_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</blockquote></div>