<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jul 20, 2016 at 4:57 PM, Robert Widmann <span dir="ltr"><<a href="mailto:rwidmann@apple.com" target="_blank">rwidmann@apple.com</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"><br><div><div><div class="h5"><blockquote type="cite"><div>On Jul 20, 2016, at 2:52 PM, Robert Widmann via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:</div><br><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div><br>On Jul 20, 2016, at 2:35 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><br><div><br><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div class="gmail_quote" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">On Wed, Jul 20, 2016 at 4:24 PM, Robert Widmann<span> </span><span dir="ltr"><<a href="mailto:rwidmann@apple.com" target="_blank">rwidmann@apple.com</a>></span><span> </span>wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><span><blockquote type="cite"><div>On Jul 20, 2016, at 2:19 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jul 20, 2016 at 4:06 PM, Robert Widmann<span> </span><span dir="ltr"><<a href="mailto:rwidmann@apple.com" target="_blank">rwidmann@apple.com</a>></span><span> </span>wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><span><blockquote type="cite"><div>On Jul 20, 2016, at 2:04 PM, Robert Widmann via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:</div><br><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div><br>On Jul 20, 2016, at 1:59 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><br><div>Why is hiding in-scope but renaming out-of-scope?</div></blockquote><div><br></div><div><br></div><div>Because hiding and renaming can be used in combination to subset out APIs, not alter them.</div><br></div></div></blockquote><div><br></div></span><div>I mistyped. Should be "Because hiding and using can be used in combination to subset out APIs, not alter them."</div></div></div></blockquote><div><br></div><div><br></div><div>Sure, I buy that.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><blockquote type="cite"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div>Both are additive to Swift,<span> </span></div></blockquote><div><br></div><div>As part of this proposal, both are source-breaking.</div></div></div></blockquote></div></div></div></div></blockquote><div><br></div><div>I don't see how. If hiding were cut from the proposal, adding it later with even the exact syntax you propose should break no pre-existing code--am I wrong?</div></div></div></div></div></blockquote><div><br></div></span><div>Renaming the way we originally laid it out would certainly be additive. The way you have it laid out would overlap a bit with hiding, sure, but it is still additive and (IMO, but I’m probably among a tiny minority of users that has used a proof assistant’s syntax as the basis for a proposal!) a good thing to have.</div></div></div></blockquote><div><br></div><div><br></div><div>Sorry, I fear I've incorrectly communicated the point I was trying to make. I'm not advocating here for inclusion of renaming as part of this proposal. I simply think that--even though I buy your claim that hiding and using both subset out APIs--hiding has more affinity with renaming and the two facilities probably ought to be considered together, whenever that is.</div><div><br></div><div>Thus, I'm suggesting that it would be feasible to postpone discussion of hiding until such future time as a fully fleshed out renaming scheme is proposed. A revamped source-breaking import syntax without either hiding or renaming could be put in place now, and future addition of hiding and/or renaming would not have to be source-breaking. Is there something wrong with this argument?<br></div><div><br></div></div></div></blockquote><div><br></div><div>There is still a useful to distinction to be made between explicitly renaming an API and explicitly hiding an API. Scala’s syntax to rename to underbar is a convenient notation for that kind of thing, but it goes against making qualified imports explicit and it means that renaming necessarily has to import identifiers into scope as well as rename them. What the OP (maybe it was you, sorry if it was) meant by “equivalent” missed the point that </div><div><br></div><div>import Swift hiding (String)</div><div><br></div><div>doesn’t translate into</div><div><br></div><div>import Swift renaming (String, to: _)</div><div><br></div><div>it translates into</div><div><br></div><div>import Swift hiding () renaming (String, to: _)</div><div><br></div><div>Renaming introducing identifiers into scope seems like a phase-shift and is not something the verb “rename” implies should happen here. It’s an interesting little hole in Agda’s module system that you can use </div><div><br></div><div>open A hiding (xs) renaming (ys to zs)</div><div><br></div><div>to mean</div><div><br></div><div>open A using (A; xs; ys) renaming (ys to zs)</div><div><br></div></div></div></blockquote><div><br></div></div></div><div>Actually, scratch that. Their documentation explicitly mentions that hiding and renaming may not be mixed because of the phase distinction and recommend the using translation above as the way to go.</div></div></div></blockquote><div><br></div><div><br></div><div>This is very illuminating. I think I've rather misunderstood what it is you're proposing. I wonder if others did also.</div><div><br></div><div>The syntax you proposed seemed cumbersome to me because my mental model of importing (informed by my probably superficial understanding of vanilla procedural programming languages) has only one phase: importing. This is why I proposed radically simplifying the spelling. To me, all of these operations are just sugar on a single import phase, where "stuff" from outside the module is "brought into" the module, either with the same name ("using"), a different name ("renaming"), or no name ("hiding").</div><div><br></div><div>But what you're saying here--if I understand correctly--is that you're proposing a multi-phase import system, where the possible phases, which can be composed in varying orders, are "using", "hiding", and "renaming". This is much, much more elaborate than I had contemplated. So beyond the bikeshedding of syntax, I'd ask: why do we need this multi-phase model of importing?</div><div><br></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 class="h5"><br><blockquote type="cite"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div><div class="gmail_quote" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><blockquote type="cite"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div>and as has been argued by others, the former is a special case of the latter.<br></div></blockquote><div><br></div><div>A special case that cannot cause large-scale file-relative changes to APIs. Renaming is primarily used in other languages that treat free functions as more canonical than we do, or allow operator definitions that can be used as notation.<span> </span></div></div></div></blockquote></div></div></div></div></blockquote><div><br></div><div>I don't know about 'primary use,' but the most common use I've experienced in Python, for example, is the mundane task of importing module Foo2 as Foo.</div><div> </div></div></div></div></div></blockquote><div><br></div></span><div>And I still want that kind of syntax. I just want to get the breaking changes out of the way to make room for it in the future.</div></div></div></blockquote><div><br></div><div><br></div><div>Right. See above about my argument as to which parts of your proposal have to be source-breaking, and which don't.</div><div> </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><blockquote type="cite"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div>In those cases, you often have your own notation you’d like to use. In Swift, such changes should be rare enough that if you can’t solve them with a disambiguating qualified import then you can just redeclare the identifier some other way (typealias, top-level let, wrapper class, whatever).</div></div></div></blockquote></div></div></div></div></blockquote><div><br></div><div>You've already stripped out renaming of members from the proposal. I agree wholeheartedly. The only flavor of renaming I'm thinking of here is equivalent to a fileprivate typealias and hiding, which cannot be done in this version of the proposal because hiding always comes before typealiasing and you can't typealias what isn't imported. It isn't about altering APIs any more than a fileprivate typealias can be thought of as altering APIs.</div></div></div></div></div></blockquote><div><br></div></span><div>In the sense that you can’t use the original identifier if you rename it, it is an alteration. John brought up a great point about exporting these things and how it could be a potentially dangerous thing. Even used locally, there’s the potential for people to specify 500 lines of import renaming crap that has to be copypasta’d throughout the codebase to maintain that particular style - not a use-case I’ve ever seen, but the potential is there.</div></div></div></blockquote><div><br></div><div><br></div><div>This is, I think, a spurious argument. I can equally have 500 lines of private typealiased crap that has to be copypasta'd.</div><div> </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><blockquote type="cite"><div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite"><div><div class="gmail_quote"><div dir="ltr">On Wed, Jul 20, 2016 at 15:55 Brandon Knope <<a href="mailto:bknope@me.com" target="_blank">bknope@me.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="auto"><div></div><div>I meant is there any reason for requiring parentheses </div></div><div dir="auto"><div><br>On Jul 20, 2016, at 4:53 PM, Robert Widmann <<a href="mailto:rwidmann@apple.com" target="_blank">rwidmann@apple.com</a>> wrote:<br><br></div><blockquote type="cite"><div>Renaming is out of scope for this proposal, that’s why.<div><br><div><blockquote type="cite"><div>On Jul 20, 2016, at 1:26 PM, Brandon Knope <<a href="mailto:bknope@me.com" target="_blank">bknope@me.com</a>> wrote:</div><br><div><div dir="auto"><div></div><div>I prefer this 100x more</div><div><br></div><div>Is there any reason why this wouldn't work?</div><div><br></div><div>Brandon </div><div><br>On Jul 20, 2016, at 4:13 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div>Yeah, I'd be happy to lose the parentheses as well.<br><br>In the last thread, my take on simplifying the proposed syntax was:<br><br>```<br>import Swift using String, Int<br><br>// or, for hiding:<br>import Swift using Int as _<br>```<br><br>The key simplification here is that hiding doesn't need its own contextual keyboard, especially if we support renaming (a huge plus in my book), as renaming to anything unused (or explicitly to `_`) is what hiding is all about.<br><div class="gmail_quote"><div dir="ltr">On Wed, Jul 20, 2016 at 15:01 Brandon Knope <<a href="mailto:bknope@me.com" target="_blank">bknope@me.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="auto"><div></div><div style="direction:inherit"><br></div><div><br>On Jul 20, 2016, at 3:08 PM, Xiaodi Wu via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">As Joe and others mentioned in the previous thread, this syntax could be greatly simplified in ways that resemble analogous facilities in other languages. In particular I think it's alarmingly asymmetrical that, in your proposal, `import Swift using (String)` imports *only* String while `import Swift hiding (String)` imports *everything but* String. This becomes evident when chained together:<div><br></div><div>```</div><div>import Swift using (String, Int)</div><div>// imports only String and Int</div><div>import Swift using (String, Int) hiding (String)</div><div>// imports only Int</div><div>import Swift hiding (String, Int)</div><div>// imports everything except String and Int</div><div>import Swift hiding (String, Int) using (String)</div><div>// imports *nothing*? nothing except String? everything except Int? confusing.</div><div>```</div><div><br></div><div>By contrast, Joe's proposed syntax (with some riffs) produces something much more terse *and* much more clear:</div><div><br></div><div>```</div><div>import Swift.*</div><div>import Swift.(Int as MyInt, *)</div><div>import Swift.(Int as _, *)</div><div>```</div></div></div></blockquote><div style="direction:inherit"><br></div></div><div dir="auto"><div style="direction:inherit">I really don't find this much clearer than the proposed one. The proposal reads much clearer. </div><div style="direction:inherit"><br></div><div style="direction:inherit">Joe's syntax has a lot going on in my opinion.</div><div style="direction:inherit"><br></div><div style="direction:inherit">For the proposal, do we really need the parentheses? It makes the syntax look heavier</div></div><div dir="auto"><div style="direction:inherit"><br></div><div style="direction:inherit">Brandon </div></div><div dir="auto"><div style="direction:inherit"><br></div><div style="direction:inherit"><br></div><div style="direction:inherit"><br></div><blockquote type="cite"><div><div dir="ltr"><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 20, 2016 at 1:52 PM, Robert Widmann via swift-evolution<span> </span><span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></span><span> </span>wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word">Hello all,<div><br></div><div>I’d like to thank the members of the community that have guided the revisions of this proposal. We have decided to heed the advice of the community and break down our original proposal on modules and qualified imports into source-breaking (qualified imports) and additive (modules) proposals. As qualified imports is the change most suited to Swift 3, we are pushing that proposal now as our final draft.</div><div><br></div><div>It can be had inline with this email, on <a href="https://github.com/apple/swift-evolution/pull/440" target="_blank">Github</a>, or <a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6" target="_blank">as a gist</a>.</div><div><br></div><div>Thanks,</div><div><br></div><div>~Robert Widmann</div><div><br></div><div><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important">Qualified Imports Revisited</h1><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><ul style="padding-left:2em;margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal"><li>Proposal: <a href="https://gist.github.com/CodaFi/NNNN-first-class-qualified-imports.md" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none" target="_blank">SE-NNNN</a></li><li style="margin-top:0.25em">Authors: <a href="https://github.com/codafi" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none" target="_blank">Robert Widmann</a>, <a href="https://github.com/griotspeak" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none" target="_blank">TJ Usiyan</a></li><li style="margin-top:0.25em">Status: <span style="font-weight:600">Awaiting review</span></li><li style="margin-top:0.25em">Review manager: TBD</li></ul></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#introduction" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Introduction</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">We propose a complete overhaul of the qualified imports syntax and semantics.</p></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#motivation" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Motivation</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">The existing syntax for qualified imports from modules is needlessly explicit, does not compose, and has a default semantics that dilutes the intended meaning of the very operation itself. Today, a qualified import looks something like this</p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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)">import</span> <span style="color:rgb(167,29,93)">class</span> <span style="color:rgb(0,134,179)">Foundation.Date</span></pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">This means that clients of Foundation that wish to see only <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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">Date</code> must know the exact kind of declaration that identifier is. In addition, though this import specifies exactly one class be imported from Foundation, the actual semantics mean Swift will recursively open all of Foundation's submodules so you can see, and use, every other identifier anyway - and they are not filtered from code completion. Qualified imports deserve to be first-class in Swift, and that is what we intend to make them with this proposal.</p></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#proposed-solution" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Proposed solution</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">The grammar and semantics of qualified imports will change completely with the addition of <em>import qualifiers</em> and <em>import directives</em>. We also introduce two new contextual keywords: <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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">using</code> and <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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">hiding</code>, to facilitate fine-grained usage of module contents.</p></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#detailed-design" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Detailed design</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">Qualified import syntax will be revised to the following</p><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;margin-top:0px;margin-bottom:16px;font-weight:normal;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"><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">import-decl -> import <import-path> <(opt) import-directive-list>
import-path -> <identifier>
-> <identifier>.<identifier>
import-directive-list -> <import-directive>
-> <import-directive> <import-directive-list>
import-directive -> using (<identifier>, ...)
-> hiding (<identifier>, ...)
</code></pre><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">This introduces the concept of an import <em>directive</em>. An import directive is a file-local modification of an imported identifier. A directive can be one of 2 operations:</p><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">1) <em>using</em>: The <em>using</em> directive is followed by a list of identifiers for non-member nominal declarations within the imported module that should be exposed to this file. </p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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(150,152,150)">// The only visible parts of Foundation in this file are </span>
<span style="color:rgb(150,152,150)">// Foundation.Date, Foundation.DateFormatter, and Foundation.DateComponents</span>
<span style="color:rgb(150,152,150)">//</span>
<span style="color:rgb(150,152,150)">// Previously, this was</span>
<span style="color:rgb(150,152,150)">// import class Foundation.Date</span>
<span style="color:rgb(150,152,150)">// import class Foundation.DateFormatter</span>
<span style="color:rgb(150,152,150)">// import class Foundation.DateComponents</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Foundation</span> using (Date, DateFormatter, DateComponents)</pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">2) <em>hiding</em>: The <code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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">hiding</code> directive is followed by a list of identifiers for non-member nominal declarations within the imported module that should be hidden from this file.</p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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(150,152,150)">// Imports all of Foundation except `Date`</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Foundation</span> hiding (Date)</pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">As today, all hidden identifiers do not hide the type, they merely hide that type’s members and its declaration. For example, this means values of hidden types are still allowed. Unlike the existing implementation, using their members is forbidden.</p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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(150,152,150)">// Imports `DateFormatter` but the declaration of `Date` is hidden.</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Foundation</span> using (DateFormatter)
<span style="color:rgb(167,29,93)">var</span> d <span style="color:rgb(167,29,93)">=</span> DateFormatter()<span style="color:rgb(167,29,93)">.</span>date(from: <span style="color:rgb(24,54,145)"><span>"</span>...<span>"</span></span>) <span style="color:rgb(150,152,150)">// Valid</span>
<span style="color:rgb(167,29,93)">var</span> dt <span style="color:rgb(167,29,93)">:</span> Date <span style="color:rgb(167,29,93)">=</span> DateFormatter()<span style="color:rgb(167,29,93)">.</span>date(from: <span style="color:rgb(24,54,145)"><span>"</span>...<span>"</span></span>) <span style="color:rgb(150,152,150)">// Invalid: Cannot use name of hidden type.</span>
d<span style="color:rgb(167,29,93)">.</span>addTimeInterval(<span style="color:rgb(0,134,179)">5</span><span style="color:rgb(167,29,93)">.</span><span style="color:rgb(0,134,179)">0</span>) <span style="color:rgb(150,152,150)">// Invalid: Cannot use members of hidden type.</span></pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">Import directives chain to one another and can be used to create a fine-grained module import:</p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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(150,152,150)">// This imports Swift.Int, Swift.Double, and Swift.String but hides Swift.String.UTF8View</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Swift</span> using (<span style="color:rgb(0,134,179)">String</span>, <span style="color:rgb(0,134,179)">Int</span>, <span style="color:rgb(0,134,179)">Double</span>)
hiding (<span style="color:rgb(0,134,179)">String</span><span style="color:rgb(167,29,93)">.</span>UTF8View)</pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">Directive chaining occurs left-to-right:</p><div style="margin-bottom:16px;font-size:16px;font-weight:normal"><pre style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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(150,152,150)">// This says to 1) Use Int 2) Hide String 3) rename Double to Triple. It is invalid</span>
<span style="color:rgb(150,152,150)">// because 1) Int is available 2) String is not, error.</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Swift</span> using (<span style="color:rgb(0,134,179)">Int</span>) hiding (<span style="color:rgb(0,134,179)">String</span>)
<span style="color:rgb(150,152,150)">// Valid. This will be merged as `using (Int)`</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Swift</span> using () using (<span style="color:rgb(0,134,179)">Int</span>)
<span style="color:rgb(150,152,150)">// Valid. This will be merged as `hiding (String, Double)`</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Swift</span> hiding (<span style="color:rgb(0,134,179)">String</span>) hiding (<span style="color:rgb(0,134,179)">Double</span>) hiding ()
<span style="color:rgb(150,152,150)">// Valid (if redundant). This will be merged as `using ()`</span>
<span style="color:rgb(167,29,93)">import</span> <span style="color:rgb(0,134,179)">Swift</span> using (<span style="color:rgb(0,134,179)">String</span>) hiding (<span style="color:rgb(0,134,179)">String</span>)</pre></div><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">Because import directives are file-local, they will never be exported along with the module that declares them.</p></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#impact-on-existing-code" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Impact on existing code</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><p style="margin-top:0px;margin-bottom:16px;font-size:16px;font-weight:normal">Existing code that is using qualified module import syntax (<code style="font-family:Consolas,'Liberation Mono',Menlo,Courier,monospace;font-size:13.600000381469727px;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">import {func|class|typealias|class|struct|enum|protocol} <qualified-name></code>) will be deprecated and should be removed or migrated. </p></h1><h2 style="margin-top:24px;margin-bottom:16px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255)"><a href="https://gist.github.com/CodaFi/42e5e5e94d857547abc381d9a9d0afd6#alternatives-considered" style="background-color:transparent;color:rgb(64,120,192);text-decoration:none;float:left;padding-right:4px;line-height:1" target="_blank"><u></u><u></u><u></u><u></u></a>Alternatives considered</h2><h1 style="margin-right:0px;margin-bottom:16px;margin-left:0px;line-height:1.25;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:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,Helvetica,Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';background-color:rgb(255,255,255);margin-top:0px!important"><div style="margin-top:0px;font-size:16px;font-weight:normal;margin-bottom:0px!important">A previous iteration of this proposal introduced an operation to allow the renaming of identifiers, especially members. The original intent was to allow file-local modifications of APIs consumers felt needed to conform to their specific coding style. On review, we felt the feature was not as significant as to warrant inclusion and was ripe for abuse in large projects.</div></h1></div></div><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><br></blockquote></div><br></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" target="_blank">swift-evolution@swift.org</a></span><br><span><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br></div></blockquote></div></blockquote></div></div></blockquote></div></div></blockquote></div><br></div></div></blockquote></div></blockquote></div></div></blockquote></div><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">_______________________________________________</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">swift-evolution mailing list</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a href="mailto:swift-evolution@swift.org" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">swift-evolution@swift.org</a><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a></div></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></div></div></div></blockquote></div></div></blockquote></div><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">_______________________________________________</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">swift-evolution mailing list</span><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a href="mailto:swift-evolution@swift.org" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">swift-evolution@swift.org</a><br style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" style="font-family:Helvetica;font-size:12px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a></div></blockquote></div></div></div><br></div></blockquote></div><br></div></div>