<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>This is called flow typing in Ceylon and they are using "exists" for that case but testing for conformance with "is" works just the same way there. The latter is of importance because the common use of union types in Ceylon.</div><div><br></div><div>if exists foo {</div><div>&nbsp; &nbsp; &nbsp; &nbsp; // foo is non-optional here</div><div>}</div><div><br></div><div>if foo is String {</div><div>&nbsp; &nbsp; &nbsp; &nbsp; // foo is of type String here</div><div>}</div><div><br></div><div>-Thorsten</div><div><br>Am 28.01.2016 um 19:08 schrieb Jacob Bandes-Storch via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt;:<br><br></div><blockquote type="cite"><div><div dir="ltr"><div>&nbsp; &nbsp;if bind foo {</div><div>&nbsp; &nbsp; &nbsp; &nbsp;// foo is non-optional in here</div><div>&nbsp; &nbsp;}</div><div><br></div><div>&nbsp; &nbsp;somethingAsync { [weak self] in</div>&nbsp; &nbsp; &nbsp; &nbsp;guard bind self else { return }<div>&nbsp; &nbsp; &nbsp; &nbsp;// ...<br><div>&nbsp; &nbsp;}<br><div class="gmail_extra"><br></div><div class="gmail_extra">Elegant when you want to rebind the same name!</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div>Jacob<br></div></div></div></div>
<br><div class="gmail_quote">On Thu, Jan 28, 2016 at 10:05 AM, Erica Sadun 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">Do you realize how much confusion it would save if Swift just went with<br>
<br>
if bind foo = bar {...}<br>
<br>
with let semantics?<br>
<br>
-- Erica<br>
<div class="HOEnZb"><div class="h5"><br>
&gt; On Jan 28, 2016, at 11:03 AM, Joe Groff via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;&gt; On Jan 28, 2016, at 12:43 AM, Brent Royal-Gordon &lt;<a href="mailto:brent@architechies.com">brent@architechies.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt;&gt; We have a lot of evidence that 'if var' confuses peopleā€”a lot of users think that 'if var' and 'var' bindings in case patterns will write back to the original value when this isn't the case.<br>
&gt;&gt;<br>
&gt;&gt; Can we address this with a diagnostic?<br>
&gt;&gt;<br>
&gt;&gt;&nbsp; &nbsp; &nbsp; var bar: Int? = 1<br>
&gt;&gt;&nbsp; &nbsp; &nbsp; if var foo = bar {<br>
&gt;&gt;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; foo += 1&nbsp; &nbsp; &nbsp; &nbsp; // Warning: Value is never used after modification (foo is a copy, not an alias)<br>
&gt;&gt;&nbsp; &nbsp; &nbsp; }<br>
&gt;&gt;&nbsp; &nbsp; &nbsp; print(bar)<br>
&gt;<br>
&gt; Good idea.<br>
&gt;<br>
&gt; -Joe<br>
&gt; _______________________________________________<br>
&gt; swift-evolution mailing list<br>
&gt; <a href="mailto:swift-evolution@swift.org">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/mailman/listinfo/swift-evolution</a><br>
<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>
</div></div></blockquote></div><br></div></div></div></div>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>swift-evolution mailing list</span><br><span><a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a></span><br><span><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br></div></blockquote></body></html>