<div dir="ltr">+1<div><br></div><div>There are many things that I would like more but this is a reasonable compromise.<br><div><br></div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 1, 2017 at 8:02 PM, Nevin Brackett-Rozinsky via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">Another possibility is to make “map” generic on the return type, something like:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra"><div class="gmail_extra">extension Collection {</div><div class="gmail_extra">    func map&lt;T: RangeReplaceableCollection&gt; (transform: (Iterator.Element) throws -&gt; T.Iterator.Element) rethrows -&gt; T {</div><div class="gmail_extra">        var result = T()</div><div class="gmail_extra">        for e in self { try result.append(transform(e)) }</div><div class="gmail_extra">        return result</div><div class="gmail_extra">    }</div><div class="gmail_extra">}</div></div><div class="gmail_extra"><br></div><div class="gmail_extra">That way the user can choose what type they want. And since there is also a more-specific implementation returning an Array, that is what you’ll get if context does not constrain the type, so existing code will still work the same.</div><div class="gmail_extra"><br></div><div class="gmail_extra">We could do the same for “filter”, in which case the current proposal would just change what the default type is. So…what I’m talking about here would be purely additive and can happen later.</div><div class="gmail_extra"><br></div><div class="gmail_extra">In any case, I do like the idea being proposed in SE–0174. If I have a collection and I filter it down, it makes sense to still be the same kind of collection. So, +1 from me.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Nevin</div></div></div>
<br>______________________________<wbr>_________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/<wbr>mailman/listinfo/swift-<wbr>evolution</a><br>
<br></blockquote></div><br></div>