<div dir="ltr">I like this pretty well, and I think "with()" makes sense as a peer of "withUnsafePointer()", "withExtendedLifetime()", etc.<div><br></div><div>I'd also be okay with waiting for a comprehensive method-cascading solution. I don't find this issue particularly urgent, because it's pretty easily solvable with an extension or just using closures.</div><div class="gmail_extra">
<br><div class="gmail_quote">On Wed, May 25, 2016 at 11:28 AM, Erica Sadun via swift-evolution <span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Over the past couple of days, the Twitters have discovered some work I'd done on closure-based setup. <div>It's clear that a demand is out there and strong for this kind of behavior, even without implicit `self` as </div><div>part of the mix or cascading. In that light, I've put together the following:<div><br></div><div><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae" target="_blank">https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae</a></div><div><br></div><div>If the community demand is this high, I think we should re-consider pushing it before 3. </div><div>Feedback as always welcome, including criticism.</div><div><br></div><div>-- E</div><div><br></div><div><h1 style="font-size:2.25em;margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.2;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important">Introducing <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:inherit;padding:0.2em 0px;margin:0px;background-color:rgba(0,0,0,0.0392157);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px">with</code> to the Standard Library</h1><ul style="padding-left:2em;margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><li>Proposal: TBD</li><li>Author: <a href="https://github.com/erica" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none" target="_blank">Erica Sadun</a></li><li>Status: TBD</li><li>Review manager: TBD</li></ul><h2 style="margin-top:1em;margin-bottom:16px;line-height:1.225;font-size:1.75em;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae#introduction" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;display:inline-block;padding-right:2px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Introduction</h2><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">This proposal introduces a <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;padding:0.2em 0px;margin:0px;background-color:rgba(0,0,0,0.0392157);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px">with</code> function to the standard library to simplify the initialization and modification of constants and Foundation-sourced complex objects.</p><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">Swift-evolution thread: <a href="http://thread.gmane.org/gmane.comp.lang.swift.evolution/14384" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none" target="_blank">What about a VBA style with Statement?</a></p><h2 style="margin-top:1em;margin-bottom:16px;line-height:1.225;font-size:1.75em;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae#motivation" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;display:inline-block;padding-right:2px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Motivation</h2><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">Closure-based initialization enables clean and highly directed set-up in Swift code. Numerous variations on the theme have been introduced on the Swift Evolution list and in third party github repositories. Although you can build solutions natively without functions, current Swift technology has drawbacks:</p><div style="margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;margin-top:0px;margin-bottom:0px;line-height:1.45;word-wrap:normal;padding:16px;overflow:auto;background-color:rgb(247,247,247);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;word-break:normal"><span style="color:rgb(167,29,93)">let</span> questionLabel: UILabel <span style="color:rgb(167,29,93)">=</span> {
$<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>textAlignment <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(167,29,93)">.</span>Center
$<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>font <span style="color:rgb(167,29,93)">=</span> UIFont(name:<span style="color:rgb(24,54,145)"><span>"</span>DnealianManuscript<span>"</span></span>, size: <span style="color:rgb(0,134,179)">72</span>)
$<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>text <span style="color:rgb(167,29,93)">=</span> questionText
$<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>numberOfLines <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(0,134,179)">0</span>
<span style="color:rgb(167,29,93)">return</span> $<span style="color:rgb(0,134,179)">0</span>
}(UILabel())
<span style="color:rgb(167,29,93)">let</span> mySwitch <span style="color:rgb(167,29,93)">:</span> UISwitch <span style="color:rgb(167,29,93)">=</span> {
view<span style="color:rgb(167,29,93)">.</span>addSubview($<span style="color:rgb(0,134,179)">0</span>)
CenterViewInSuperview($<span style="color:rgb(0,134,179)">0</span>, horizontal: <span style="color:rgb(0,134,179)">true</span>, vertical: <span style="color:rgb(0,134,179)">true</span>)
$<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>addTarget(<span style="color:rgb(167,29,93)">self</span>, action: <span style="color:rgb(24,54,145)"><span>"</span>action<span>"</span></span>, forControlEvents: <span style="color:rgb(167,29,93)">.</span>TouchUpInside)
<span style="color:rgb(167,29,93)">return</span> $<span style="color:rgb(0,134,179)">0</span>
}(UISwitch())</pre></div><ul style="padding-left:2em;margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><li>Assignment must be explicitly typed.</li><li>The source item must be postpended to the set-up closure.</li><li>The closure must return the item.</li><li>This approach is better suited to setting up Foundation objects than modifying Swift constants. When duplicating and modifying a constant, the closure must create a var copy and modify that copy.</li></ul><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">While the implementation is imperfect, the wins are notable. Code naturally groups into a clear set-up sequence. The scoped setup avoids clumpy redundant lines where the same variable is accessed over and over. </p><div style="margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;margin-top:0px;margin-bottom:0px;line-height:1.45;word-wrap:normal;padding:16px;overflow:auto;background-color:rgb(247,247,247);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;word-break:normal"><span style="color:rgb(167,29,93)">let</span> questionLabel <span style="color:rgb(167,29,93)">=</span> UILabel()
questionLabel<span style="color:rgb(167,29,93)">.</span>textAlignment <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(167,29,93)">.</span>Center
questionLabel<span style="color:rgb(167,29,93)">.</span>font <span style="color:rgb(167,29,93)">=</span> UIFont(name:<span style="color:rgb(24,54,145)"><span>"</span>DnealianManuscript<span>"</span></span>, size: <span style="color:rgb(0,134,179)">72</span>)
questionLabel<span style="color:rgb(167,29,93)">.</span>text <span style="color:rgb(167,29,93)">=</span> questionText
questionLabel<span style="color:rgb(167,29,93)">.</span>numberOfLines <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(0,134,179)">0</span></pre></div><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">In the case of non-reference types, a constant's fields may be set-up sequentially without forcing the constant to be a variable.</p><h2 style="margin-top:1em;margin-bottom:16px;line-height:1.225;font-size:1.75em;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae#detailed-design" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;display:inline-block;padding-right:2px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Detailed Design</h2><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">This proposal introduces a <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;padding:0.2em 0px;margin:0px;background-color:rgba(0,0,0,0.0392157);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px">with</code> function that enables modification and use of an instance using positional references. It's not quite as clean as a solution with implicit <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;padding:0.2em 0px;margin:0px;background-color:rgba(0,0,0,0.0392157);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px">self</code> but it offers sufficient utility that a vast swath of Swift developers have adopted this function in some form or another.</p><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;margin-top:0px;margin-bottom:16px;line-height:1.45;word-wrap:normal;padding:16px;overflow:auto;background-color:rgb(247,247,247);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;color:rgb(51,51,51)"><code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;padding:0px;margin:0px;background-color:transparent;border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;word-break:normal;border:0px;display:inline;overflow:visible;line-height:inherit;word-wrap:normal">@discardableResult
public func with<T>(_ item: T, update: @noescape (inout T) throws -> Void) rethrows -> T {
var this = item; try update(&this); return this
}
</code></pre><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">In use:</p><div style="margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:14px;margin-top:0px;margin-bottom:0px;line-height:1.45;word-wrap:normal;padding:16px;overflow:auto;background-color:rgb(247,247,247);border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;word-break:normal"><span style="color:rgb(167,29,93)">struct</span> Person { <span style="color:rgb(167,29,93)">var</span> name: <span style="color:rgb(0,134,179)">String</span>, favoriteColor: UIColor }
<span style="color:rgb(167,29,93)">let</span> john <span style="color:rgb(167,29,93)">=</span> Person(name: <span style="color:rgb(24,54,145)"><span>"</span>John<span>"</span></span>, favoriteColor: <span style="color:rgb(167,29,93)">.</span>blueColor())
<span style="color:rgb(167,29,93)">let</span> jane <span style="color:rgb(167,29,93)">=</span> with(john){ $<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>name <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(24,54,145)"><span>"</span>Jane<span>"</span></span> }
<span style="color:rgb(0,134,179)">print</span>(jane) <span style="color:rgb(150,152,150)">// Person(name: "Jane", favoriteColor: UIDeviceRGBColorSpace 0 0 1 1)</span>
<span style="color:rgb(167,29,93)">struct</span> Point { <span style="color:rgb(167,29,93)">var</span> (x, y) <span style="color:rgb(167,29,93)">:</span> (<span style="color:rgb(0,134,179)">Double</span>, <span style="color:rgb(0,134,179)">Double</span>) }
<span style="color:rgb(167,29,93)">let</span> p1 <span style="color:rgb(167,29,93)">=</span> Point(x: <span style="color:rgb(0,134,179)">2</span>, y: <span style="color:rgb(0,134,179)">3</span>)
<span style="color:rgb(167,29,93)">let</span> p2 <span style="color:rgb(167,29,93)">=</span> with(p1){ $<span style="color:rgb(0,134,179)">0</span><span style="color:rgb(167,29,93)">.</span>y <span style="color:rgb(167,29,93)">=</span> <span style="color:rgb(0,134,179)">4</span> }
<span style="color:rgb(0,134,179)">print</span>(p1, p2) <span style="color:rgb(150,152,150)">// Point(x: 2.0, y: 3.0) Point(x: 2.0, y: 4.0)</span></pre></div><h2 style="margin-top:1em;margin-bottom:16px;line-height:1.225;font-size:1.75em;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae#impact-on-existing-code" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;display:inline-block;padding-right:2px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Impact on Existing Code</h2><p style="margin-top:0px;margin-bottom:16px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255)">This proposal is purely additive and has no impact on existing code</p><h2 style="margin-top:1em;margin-bottom:16px;line-height:1.225;font-size:1.75em;padding-bottom:0.3em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(238,238,238);color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/erica/96d9c5bb4eaa3ed3b2ff82dc35aa8dae#alternatives-considered" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;display:inline-block;padding-right:2px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Alternatives Considered</h2><div style="margin-top:0px;color:rgb(51,51,51);font-family:'Helvetica Neue',Helvetica,'Segoe UI',Arial,freesans,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-size:16px;background-color:rgb(255,255,255);margin-bottom:0px!important">Not adopting this proposal</div></div></div></div><br>_______________________________________________<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/mailman/listinfo/swift-evolution</a><br>
<br></blockquote></div><br></div></div>