<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 24, 2017, at 8:12 AM, Chris Eidhof <<a href="mailto:chris@eidhof.nl" class="">chris@eidhof.nl</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">But if we want to add "copyOf" we should do that to every method that takes a struct? Also, what if you pass in an object?<div class=""><br class=""></div><div class="">I see the concern, but I don't think adding `copyOf` will increase clarity. That said, I'm open to suggestions.</div></div></div></blockquote><div><br class=""></div><div>I’m not really trying to advocate for “copyOf”. I think we should really have something more concise in a case like this. My main point is that just using `mutating` is inaccurate and therefore probably not the right solution.</div><div><br class=""></div><div>Your question about passing in an object (I assume you mean a reference type here) is a good one. In an ideal world that would probably not be allowed as it doesn’t really make sense to replace the reference during reduction. Unfortunately I don’t think we have a way to prevent that at the moment.</div><br class=""><blockquote type="cite" class=""><div class=""><div class="gmail_extra"><br class=""><div class="gmail_quote">On Tue, Jan 24, 2017 at 2:43 PM, Xiaodi Wu <span dir="ltr" class=""><<a href="mailto:xiaodi.wu@gmail.com" target="_blank" class="">xiaodi.wu@gmail.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It's only verbose if the words aren't needed! The shortest way to describe something with sufficient accuracy can never be verbose, let alone undesirable, and I highly agree with this concern. We already have names of this form, such as `FloatingPoint.init(signOf:<wbr class="">magnitudeOf:)`.</blockquote></div></div></div></blockquote><div><br class=""></div><div>I mostly agree with this Xiaodi, but I also think that commonly known and frequently used methods like `reduce` deserve to be as concise as possible. That is less a concern with less common and less frequently used signatures.</div><br class=""><blockquote type="cite" class=""><div class=""><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Tue, Jan 24, 2017 at 07:33 Matthew Johnson via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg">Sent from my iPad</div></div><div dir="auto" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg">On Jan 24, 2017, at 1:54 AM, Chris Eidhof via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="m_-4754073581537561gmail_msg" target="_blank">swift-evolution@swift.org</a>> wrote:<br class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><blockquote type="cite" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><div dir="ltr" class="m_-4754073581537561gmail_msg">I've thought about it for a few days, and really like `reduce(mutating:_)`. </div></div></blockquote><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div></div><div dir="auto" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg">I'm not a fan of this. It reads in a way that makes it seem like the parameter should be inout, but it isn't. A variation of reduce where the initial value parameter *is* inout is perfectly sensible (whether or not we want it in the standard library). With that in mind, I don't think we should use this name. </div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">Unfortunately I don't have a better suggestion. I think it was Brent who suggested "mutatingCopyOf" which is more accurate, but also undesirably verbose.</div></div><div dir="auto" class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"><blockquote type="cite" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><div dir="ltr" class="m_-4754073581537561gmail_msg">I've updated the PR, and am now happy for this to go into review.<div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><a href="https://github.com/apple/swift-evolution/pull/587" class="m_-4754073581537561gmail_msg" target="_blank">https://github.com/apple/<wbr class="">swift-evolution/pull/587</a><br class="m_-4754073581537561gmail_msg"></div></div><div class="gmail_extra m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"><div class="gmail_quote m_-4754073581537561gmail_msg">On Mon, Jan 23, 2017 at 8:27 AM, Russ Bishop <span dir="ltr" class="m_-4754073581537561gmail_msg"><<a href="mailto:xenadu@gmail.com" class="m_-4754073581537561gmail_msg" target="_blank">xenadu@gmail.com</a>></span> wrote:<br class="m_-4754073581537561gmail_msg"><blockquote class="gmail_quote m_-4754073581537561gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><blockquote type="cite" class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg">On Jan 22, 2017, at 10:56 PM, Chris Eidhof <<a href="mailto:chris@eidhof.nl" class="m_-4754073581537561gmail_msg" target="_blank">chris@eidhof.nl</a>> wrote:</div><br class="m_-4754073581537561m_-5640155817801206975m_-7135271088127339095Apple-interchange-newline m_-4754073581537561gmail_msg"></span><div class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg"><div dir="ltr" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg">Not as a direct reply to Russ, but just to reiterate: to me, there are two clear benefits of using the `inout` version of reduce:<br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">1. The performance (currently discussed at length)</div><div class="m_-4754073581537561gmail_msg">2. Readability (because we can use mutating methods on `inout` arguments).</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">Even if the compiler were to optimize the unnecessary copy of `return arr + [el]` away, there are still a lot of other mutable methods that you might want to use within the reduce closure. So I think the proposal is still very valid even if the compiler optimizations would magically appear tomorrow.</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">To push this proposal forward a little bit, I'd like to come up with a good name. It seems like we shouldn't overload `reduce`, but choose a different name, so that we don't stress the typechecker. Any other suggestions?</div></div></span><div class="gmail_extra m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"><div class="gmail_quote m_-4754073581537561gmail_msg">On Mon, Jan 23, 2017 at 7:11 AM, Russ Bishop <span dir="ltr" class="m_-4754073581537561gmail_msg"><<a href="mailto:xenadu@gmail.com" class="m_-4754073581537561gmail_msg" target="_blank">xenadu@gmail.com</a>></span> wrote:</div></span>-- <br class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561m_-5640155817801206975m_-7135271088127339095gmail_signature m_-4754073581537561gmail_msg" data-smartmail="gmail_signature">Chris Eidhof</div>
</div>
</div></blockquote></div><br class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">Sorry for the derail!</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">reduce(mutating:_:) { } is still my favorite; You can take mutating to mean we will copy the value now but mutate it later.</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">Some alternatives:</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">reduce(forMutating:_:) { }</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">reduce(forInout:_:) { }</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">reduce(initial:_:) { }</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">reduce(copying:mutate:) { }</div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg">// just kidding...</div><div class="m_-4754073581537561gmail_msg">reduce(copyForLaterMutating:_:<wbr class="">) { }</div></div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">It should definitely be some form of reduce. </div><span class="m_-4754073581537561m_-5640155817801206975HOEnZb m_-4754073581537561gmail_msg"><font color="#888888" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div><div class="m_-4754073581537561gmail_msg">Russ</div></font></span></div></blockquote></div><br class="m_-4754073581537561gmail_msg"><br clear="all" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><br class="m_-4754073581537561gmail_msg"></div>-- <br class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561m_-5640155817801206975gmail_signature m_-4754073581537561gmail_msg" data-smartmail="gmail_signature">Chris Eidhof</div>
</div>
</div></blockquote><blockquote type="cite" class="m_-4754073581537561gmail_msg"><div class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg">______________________________<wbr class="">_________________</span><br class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg">swift-evolution mailing list</span><br class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg"><a href="mailto:swift-evolution@swift.org" class="m_-4754073581537561gmail_msg" target="_blank">swift-evolution@swift.org</a></span><br class="m_-4754073581537561gmail_msg"><span class="m_-4754073581537561gmail_msg"><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="m_-4754073581537561gmail_msg" target="_blank">https://lists.swift.org/<wbr class="">mailman/listinfo/swift-<wbr class="">evolution</a></span><br class="m_-4754073581537561gmail_msg"></div></blockquote></div>______________________________<wbr class="">_________________<br class="m_-4754073581537561gmail_msg">
swift-evolution mailing list<br class="m_-4754073581537561gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="m_-4754073581537561gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="m_-4754073581537561gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="m_-4754073581537561gmail_msg" target="_blank">https://lists.swift.org/<wbr class="">mailman/listinfo/swift-<wbr class="">evolution</a><br class="m_-4754073581537561gmail_msg">
</blockquote></div>
</div></div></blockquote></div><br class=""><br clear="all" class=""><div class=""><br class=""></div>-- <br class=""><div class="gmail_signature" data-smartmail="gmail_signature">Chris Eidhof</div>
</div>
</div></blockquote></div><br class=""></body></html>