<div dir="ltr"><div class="gmail_default" style="font-family:&quot;comic sans ms&quot;,sans-serif;color:rgb(39,78,19)"><div class="gmail_default" style="font-size:12.8px">Sorry I wrote that last email off a little too fast, my head was still stuck in legacy Swift land.<br></div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">by `if let a = a, b = b, c = c { ... }` I meant to say `if let a = a, let b = b, let c = c { ... }`</div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">And here:</div><span class="gmail-im" style="font-family:arial,sans-serif;font-size:12.8px"><div class="gmail_default" style="font-family:&quot;comic sans ms&quot;,sans-serif;color:rgb(39,78,19)"><br></div><div class="gmail_default" style="font-family:&quot;comic sans ms&quot;,sans-serif;color:rgb(39,78,19)">&gt; <span style="font-size:12.8px">something like `if given a, b, c, c { ... }` looks like it could be an accidental typed repeat of `a` as much as it could mean `if given a, b, c, c == true { ... }`</span></div><div class="gmail_default" style="font-family:&quot;comic sans ms&quot;,sans-serif;color:rgb(39,78,19)"><span style="font-size:12.8px"><br></span></div></span><div class="gmail_default" style="font-size:12.8px"><span style="font-size:12.8px">I meant to say</span></div><div class="gmail_default" style="font-size:12.8px"><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="font-size:12.8px"><span style="font-size:12.8px">something like `if given a, b, c, c { ... }` looks like it could be an accidental typed repeat of `c` as much as it could mean `if given a, b, c, c == true { ... }`</span><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">Sorry! </div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 1, 2016 at 6:18 PM, Muse M 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>In Rust lang, it uses .unwrap and b can be a non-nil variable.</div><div><br></div>guard a.unwrap, b, c.unwrap else {<div class="HOEnZb"><div class="h5"><div>}<br><br>On Tuesday, November 1, 2016, Nicholas Maccharoli via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; 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_default" style="font-family:comic sans ms,sans-serif;color:#274e13">I like the idea of drying up something like `guard let x = x, let y = y, let z = z else { return }`</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">Using `guard unwrap` would surely be an improvement but still maybe something like `guard unwrap x, unwrap y, unwrap x else { return }`</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">although very clear in intent is a bit bulky.</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">What about something like introducing a `given` / `given-where` clause for `if` and `guard` ensuring an optional  is non-nil and shadowing the variable with an unwrapped variable of the same name.</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">one way might be:</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">guard given a, b, c else { return }</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">or with an attached conditional:</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">guard given a, b, c where a &gt; b else { return }</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">for dealing with long if-lets you could do something like:</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">if given a, b, c where a &gt; b { ... }</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">Instead of if let a = a, b = b, c = c, a &gt; b { ... }</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">The `where` clause does not need to be an actual keyword, it can just be a trailing boolean expression but</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">maybe having it makes things like unwrapping and testing that a variable evaluates to `true` more distinguishable.</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">something like `if given a, b, c, c { ... }` looks like it could be an accidental typed repeat of `a` as much as it could mean `if given a, b, c, c == true { ... }`</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">`if given a, b, c where c { ... }` might read a little easier.</div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">Just a thought. </div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13">- Nick </div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div><div class="gmail_default" style="font-family:comic sans ms,sans-serif;color:#274e13"><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 1, 2016 at 4:26 PM, Goffredo Marocchi via swift-evolution <span dir="ltr">&lt;<a>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">Agreed, a change like this would make sense :).<br>
<br>
Sent from my iPhone<br>
<div><div><br>
&gt; On 1 Nov 2016, at 01:58, Joe Groff via swift-evolution &lt;<a>swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;&gt; On Oct 31, 2016, at 6:46 PM, Xiaodi Wu &lt;<a>xiaodi.wu@gmail.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt; On Mon, Oct 31, 2016 at 8:37 PM, Joe Groff via swift-evolution &lt;<a>swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;&gt; Sorry for piling onto the bikeshed. We do already have a notation for testing that an Optional isn&#39;t nil, `x != nil`. We could theoretically bless `&lt;decl ref&gt; != nil` as a statement condition to also unwrap the referenced declaration in the scope guarded by the condition. (`&lt;decl ref&gt; is T` could similarly rebind a declaration as the cast type.)<br>
&gt;&gt;<br>
&gt;&gt; I think we&#39;d have some weirdness. For instance:<br>
&gt;&gt;<br>
&gt;&gt; ```<br>
&gt;&gt; guard x != nil || x == y else { break }<br>
&gt;&gt; // oops, now x isn&#39;t unwrapped anymore because I added a condition<br>
&gt;&gt; ```<br>
&gt;&gt;<br>
&gt;&gt; Also, it&#39;d be unexpected for it to be blessed for guard but not if:<br>
&gt;&gt;<br>
&gt;&gt; ```<br>
&gt;&gt; if x != nil {<br>
&gt;&gt;  // is x unwrapped here?<br>
&gt;&gt;  // if so, this would be source-breaking...<br>
&gt;&gt;  // if not, it would be surprisingly inconsistent<br>
&gt;&gt; }<br>
&gt;&gt; ```<br>
&gt;<br>
&gt; `if` and `guard` share the same condition behavior. It&#39;s true that there would be limitations on when the unwrapping behavior applies, but QoI could potentially help. Users seem to be able to work within similar constraints in gradually-typed languages like Typescript that work similarly, and there&#39;s quite a lot of Swift users who are surprised at first that Swift doesn&#39;t behave similarly.<br>
&gt;<br>
&gt; -Joe<br>
&gt; ______________________________<wbr>_________________<br>
&gt; swift-evolution mailing list<br>
&gt; <a>swift-evolution@swift.org</a><br>
&gt; <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailma<wbr>n/listinfo/swift-evolution</a><br>
______________________________<wbr>_________________<br>
swift-evolution mailing list<br>
<a>swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailma<wbr>n/listinfo/swift-evolution</a><br>
</div></div></blockquote></div><br></div>
</blockquote></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>