<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=""><div class="">I like the idea of distinguishing full argument tuple from its members.&nbsp;</div><div class=""><br class=""></div><div class="">I dislike $_ because the meaning of _ is more "wildcard ignore" than "wildcard match and represent"</div><div class="">I also dislike $* (product) and $... (because it's just horrible)</div><div class=""><br class=""></div><div class="">I don't mind $$ or $#, and could see adding $$.0 or $#.1 aliases for $0 and $1.</div><div class=""><br class=""></div><div class="">-- E</div><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 19, 2016, at 8:20 PM, Paul Cantrell via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Surprisingly, this code does not compile:<div class=""><br class=""></div><div class=""><div class=""><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo;" class=""><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class=""><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp;&nbsp;<span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">func</span> foo(val: <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">Int</span>) { }</div><div style="margin: 0px; font-size: 10.5px; line-height: normal; min-height: 12px;" class=""><br class=""></div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">func</span> bar(closure: (<span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">Int</span>,<span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">Int</span>) -&gt; <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">Void</span>) {</div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; &nbsp; &nbsp; closure(<span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">0</span>, <span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">1</span>)</div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; }</div><div style="margin: 0px; font-size: 10.5px; line-height: normal; min-height: 12px;" class=""><br class=""></div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">bar</span> { <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">foo</span>($0) } &nbsp; &nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class="">// compiler error</span></div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">bar</span> { <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">foo</span>($1) } &nbsp; &nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class="">// just dandy</span></div><div style="margin: 0px; font-size: 10.5px; line-height: normal;" class="">&nbsp; &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">bar</span> { <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">foo</span>($0 + $1) }&nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class="">// also works</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class=""><br class=""></span></div></div></div></div><div class="">The compiler error is:</div><div class=""><br class=""></div><div class="">&nbsp; &nbsp; Cannot convert value of type (Int, Int) to expected argument type Int</div></div><div class=""><br class=""></div><div class="">It appears that the meaning of&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$0</span>&nbsp;is overloaded: it can refer either to the tuple of all arguments, or to just the first argument. The presence of another placeholder variable (<span style="font-family: Menlo; font-size: 11px;" class="">$1</span>&nbsp;in the third example) seems to trigger the latter behavior.</div><div class=""><br class=""></div><div class="">This is certainly confusing. I’m posting to the list after receiving two Siesta user questions in the same day that both boil down to this issue.</div><div class=""><br class=""></div><div class="">Even if you do understand the behavior, it’s a real nuisance: it prevents concise implementation of a multi-arg closure which wants to ignore all but its first argument. Instead, such a closure has to drop back to the more verbose syntax:</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">&nbsp; &nbsp; bar</span> { a, _ <span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">in</span> <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">foo</span>(a) } &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class="">// sigh</span></div><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo; min-height: 12px;" class=""><br class=""></div><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo; min-height: 12px;" class=""><span style="font-family: 'Helvetica Neue'; font-size: 13px;" class="">…or use this legibility-proof workaround:</span></div><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo; min-height: 12px;" class=""><span style="font-family: 'Helvetica Neue'; font-size: 13px;" class=""><br class=""></span></div><div style="margin: 0px; font-size: 10.5px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">&nbsp; &nbsp; bar</span> { <span style="font-variant-ligatures: no-common-ligatures; color: #587ea8" class="">foo</span>($0.<span style="font-variant-ligatures: no-common-ligatures; color: #323e7d" class="">0</span>) } &nbsp; <span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class="">// yuck! wat?!</span></div></div><div class=""><span style="font-variant-ligatures: no-common-ligatures; color: #668b49" class=""><br class=""></span></div><div class="">(Note that this problem exists only for the <i class="">first</i>&nbsp;argument; a closure that wants to ignore all but the <i class="">second</i> has no such problem.)</div><div class=""><br class=""></div><div class="">This behavior contradicts the Swift documentation, which clearly says that&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$0</span>&nbsp;refers to the first argument:</div><div class=""><br class=""></div><blockquote type="cite" class="">Swift automatically provides shorthand argument names to inline closures, which can be used to refer&nbsp;to the values of the closure’s arguments by the names&nbsp;$0,&nbsp;$1,&nbsp;$2, and so on.<br class=""></blockquote><br class=""><div class="">And:</div><div class=""><br class=""></div><div class=""><div class=""><blockquote type="cite" class="">A closure may omit names for its parameters. Its parameters are then implicitly named&nbsp;$&nbsp;followed by their position:&nbsp;$0,&nbsp;$1,&nbsp;$2, and so on.</blockquote></div></div><div class=""><br class=""></div><div class="">I can’t find anything in the docs that mentions this “all args tuple” behavior, so perhaps it’s a bug? Let me know if it is, and I’ll just file a bug report for it.</div><div class=""><br class=""></div><div class="">However the “whole tuple” behavior does seem to be intentional, and preserving that while fixing the problem above appears to require a language change. Thus…</div><div class=""><br class=""></div><div class=""><b class="">Proposal</b></div><div class=""><br class=""></div><div class="">The implicit closure variable&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$0</span>&nbsp;should always refer to the closure’s first argument, and a different implicit name — perhaps&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$*</span>&nbsp;or&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$_</span>&nbsp;or&nbsp;<span style="font-family: Menlo; font-size: 11px;" class="">$...</span>&nbsp;— should refer to the all-args tuple.</div><div class=""><br class=""></div><div class="">Thoughts?</div><div class=""><br class=""></div><div class="">Cheers,</div><div class=""><br class=""></div><div class="">Paul</div><div class=""><br class=""></div></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></blockquote></div><br class=""></body></html>