<div><br><div class="gmail_quote"><div>On Thu, Jun 15, 2017 at 11:19 David Hart &lt;<a href="mailto:davidhart@fastmail.com">davidhart@fastmail.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><blockquote type="cite"><div>On 15 Jun 2017, at 18:05, Xiaodi Wu via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:</div><br class="m_-6471939240308816812Apple-interchange-newline"><div><div>On Thu, Jun 15, 2017 at 10:23 Robert Bennett via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">&gt; One (tangential) thing that came up is that tuple element names in tuple *patterns* should probably be deprecated and removed at some point.  Without looking, what variables does this declare?:<br>
&gt;<br>
&gt;   let (a : Int, b : Float) = foo()<br>
<br>
<br>
I think it would be better if the compiler raised a warning whenever you tried to redefine a builtin type.</blockquote><div><br></div><div>That’s essentially my preferred solution as well, as it gets to the root of the confusion.</div><div><br></div><div>Naming a variable the same as a type should be similar to naming a variable the same as a reserved keyword and require backticks. (A previous suggestion to enforce capitalization falls down with full Unicode support and complicates interop where imported C structures might be lowercase and constants might be all caps.) No need to treat built-in types specially; it’s equally a problem with types imported from other libraries, which can be shadowed freely today. For full source compatibility this can be a warning instead of an error–should be sufficient as long as it’s brought to the user’s attention. In fact, probably most appropriate as a warning, since the _compiler_ knows exactly what’s going on, it’s the human that might be confused.</div></div></div></div></blockquote><div><br></div></div></div><div style="word-wrap:break-word"><div><div>I kind of agree with all you say. But I also feel that tuple element names in patterns are very rarely used and not worth the added complexity and confusing. Going back to the old: “Would be add it to Swift if it did not exist?”, I would say no.</div></div></div></blockquote><div><br></div><div>That was the standard for removing features before Swift 3, but with source compatibility the bar is now much higher. Is the feature harmful? My point is, not on its own it isn’t: warning on variables shadowing types is sufficient to resolve the problems shown here.</div><div><br></div><div>How strange that we’re talking about this issue in a thread about SE-0110. If anything, the response to that proposal should be a cautionary tale that users can take poorly to removing features, sometimes in unanticipated ways.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div></div></div></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><blockquote type="cite"><div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> `let (a : Int, b : Float) = foo()` is confusing but if you were to use your own type (e.g., `struct S {}` and replace Int and Float with S) you would get a compiler error. If the compiler warned you that you were reassigning Int and Float, you’d probably avoid that problem. Or, for a more extreme fix, we could make reassigning builtin types illegal since there is pretty much no valid reason to do that.<br>
<br>
<br>
&gt; On Jun 15, 2017, at 8:10 AM, Matthew Johnson via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; Sent from my iPad<br>
&gt;<br>
&gt;&gt; On Jun 14, 2017, at 11:01 PM, Chris Lattner via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt;&gt; On Jun 12, 2017, at 10:07 PM, Paul Cantrell &lt;<a href="mailto:cantrell@pobox.com" target="_blank">cantrell@pobox.com</a>&gt; wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; What’s the status of this Chris’s double parens idea below? It garnered some positive responses, but the discussion seems to have fizzled out. Is there something needed to help nudge this along?<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; What’s the likelihood of getting this fixed before Swift 4 goes live, and the great wave of readability regressions hits?<br>
&gt;&gt;<br>
&gt;&gt; We discussed this in the core team meeting today.  Consensus seems to be that a change needs to be made to regain syntactic convenience here.  Discussion was leaning towards allowing (at least) the parenthesized form, but more discussion is needed.<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; One (tangential) thing that came up is that tuple element names in tuple *patterns* should probably be deprecated and removed at some point.  Without looking, what variables does this declare?:<br>
&gt;&gt;<br>
&gt;&gt;   let (a : Int, b : Float) = foo()<br>
&gt;<br>
&gt; Another option would be to require let to appear next to each name binding instead of allowing a single let for the whole pattern.  I personally find that much more clear despite it being a little bit more verbose.<br>
&gt;<br>
&gt;&gt;<br>
&gt;&gt; ?<br>
&gt;&gt;<br>
&gt;&gt; -Chris<br>
&gt;&gt;<br>
&gt;&gt; _______________________________________________<br>
&gt;&gt; swift-evolution mailing list<br>
&gt;&gt; <a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br>
&gt;&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>
&gt;<br>
&gt; _______________________________________________<br>
&gt; swift-evolution mailing list<br>
&gt; <a href="mailto:swift-evolution@swift.org" target="_blank">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" target="_blank">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>
</blockquote></div></div>
_______________________________________________<br>swift-evolution mailing list<br><a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br></div></blockquote></div></div></blockquote></div></div>