Hi Matthew,<br><br>Maybe you could write the proposal? I&#39;d be happy to do it, but it was your idea. Also, I think that you will express it better.<br><br>--<br>Ilya Belenkiy<br><div class="gmail_quote"><div dir="ltr">On Mon, Dec 7, 2015 at 2:11 PM Matthew Johnson &lt;<a href="mailto:matthew@anandabits.com">matthew@anandabits.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 dir="auto"><div>Glad you like my reframing!  Is anyone planning to write a proposal for this?<br><br>Sent from my iPad</div></div><div dir="auto"><div><br>On Dec 7, 2015, at 1:00 PM, Ilya &lt;<a href="mailto:ilya@harmonicsense.com" target="_blank">ilya@harmonicsense.com</a>&gt; wrote:<br><br></div><blockquote type="cite"><div>Yes, that&#39;s a great idea!<br><br>--<br>Ilya Belenkiy<br><div class="gmail_quote"><div dir="ltr">On Mon, Dec 7, 2015 at 1:35 PM Matthew Johnson &lt;<a href="mailto:matthew@anandabits.com" target="_blank">matthew@anandabits.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 dir="auto"><div>I think what you are really trying to accomplish is to restrict access to a member to the scope in which it is declared, which just happens to be a type declaration.  </div><div><br></div><div>By looking at it in terms of scope the feature would be come more generally applicable.  For example, you could have a &#39;classified&#39; member in an extension which is only visible inside the body of the extension.  This would be useful if the extension contains helper methods as part of its implementation.</div><div><br></div><div>I would absolutely support extending Swift&#39;s scope-based access control to allow for more granular control of visibility within a file by extending it to syntactic scopes.  It seems like a pretty natural enhancement to the existing feature.</div><div><br>Sent from my iPad</div></div><div dir="auto"><div><br>On Dec 7, 2015, at 11:02 AM, Ilya &lt;<a href="mailto:ilya@harmonicsense.com" target="_blank">ilya@harmonicsense.com</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><div style="white-space:pre-wrap">If it is not allowed in extensions or subclasses  (and it shouldn&#39;t), the model is still very simple.<br><br>I understand the current model, but I think that there is a lot of value in getting the compiler&#39;s help in ensuring that class internals cannot be broken by anything outside the class.<br><br>The current model doesn&#39;t solve this problem well. Putting everything in separate files seems like a very unfortunate workaround.<br><br>--<br>Ilya Belenkiy</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Dec 7, 2015 at 9:41 AM Matthew Johnson &lt;<a href="mailto:matthew@anandabits.com" target="_blank">matthew@anandabits.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 dir="auto"><div>I was not sure how I felt about Swift&#39;s access control when it was first announced but it didn&#39;t take long for me to believe it strikes a pretty good balance between complexity and ability to hide implementation details.</div><div><br></div><div>It follows a very straightforward scope-driven strategy.  If it is extended further I would like to see any enhancements follow the same scope-driven strategy rather than being type-driven as is seen in other languages.  Proposals along these lines might be interesting to consider and might be able to accomplish what you are hoping to accomplish while affording additional flexibility.</div><div><br></div><div>In a language where distributing the implementation of a type across several extensions sometimes in different files a type-driven access control model doesn&#39;t make a lot of sense to me.  I think it has a lot of potential to be confusing.  </div><div><br></div><div>What would it mean to limit access to a member to the type itself in Swift?  Would an extensions in the same (or different) files be able to see the member?  What about extensions in a different module?  And what about subclasses? Subclasses probably wouldn&#39;t have visibility to them, but any discussion of something like this will probably lead to discussion of protected as well.</div><div><br>Sent from my iPad</div></div><div dir="auto"><div><br>On Dec 7, 2015, at 7:45 AM, Ilya via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br><br></div></div><div dir="auto"><blockquote type="cite"><div>Also, one problem with the current approach is that it&#39;s all or nothing. The classes in one file see everything from the other classes, and it may be useful to limit that and share only some additional APIs with those related classes, but not all of the implementation details / internal state, while still hiding those same APIs from unrelated classes. Currently, there is no way of doing it, even when splitting code into separate files (the class state must be all in one place and can&#39;t be in an extension).<br><br>--<br>Ilya Belenkiy<br><div class="gmail_quote"><div dir="ltr">On Mon, Dec 7, 2015 at 8:17 AM Ilya &lt;<a href="mailto:ilya@harmonicsense.com" target="_blank">ilya@harmonicsense.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">My main proposal was not to change the semantics of private (although I would like that) but to introduce a way to keep class implementation details inaccessible to anything outside the class. I think that it should still be possible and useful to have the current level of sharing (I would just name it differently, given what private usually means in other languages).<br><br>Just as it is convenient to group several related classes that can refer to each other&#39;s implementation details, it is very convenient to have several classes that don&#39;t do this but are still related in other important way, for example related APIs or classes that are based on the same implementation idea (like array based data structures).<br><br>Having all code in one place rather than jumping through many small files is a very nice thing to have because it really helps to keep everything consistent. The more manual work people have to do for consistency, the more likelihood that it won&#39;t be done.<br><br>--<br>Ilya Belenkiy<br><div class="gmail_quote"><div dir="ltr">On Mon, Dec 7, 2015 at 12:21 AM John McCall &lt;<a href="mailto:rjmccall@apple.com" target="_blank">rjmccall@apple.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
&gt; On Dec 5, 2015, at 8:39 PM, Ilya via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;<br>
&gt; I think the it would help a great deal to have an access level modifier that is really private and visible only inside the class itself. Right now, the only way to hide implementation details for a class is to hide the class code in a separate file, which is very inconvenient for several reasons:<br>
&gt;<br>
&gt; 1) the meaning of the code changes depending on which file the class is in. It&#39;s very easy to accidentally expose class internal details and then call class elements that are meant to be used only inside the class. Having a keyword for class internals will allow the compiler to ensure that only the public API for the class is used from the outside world. The user can check types on his own, but it&#39;s better that the compiler does it automatically. Similarly, the user can check that only the proper APIs are called, but it&#39;s better that the compiler does it automatically.<br>
&gt;<br>
&gt; 2) accessibility by file structure may cause some really short files.<br>
&gt;<br>
&gt; 3) It&#39;s impossible to group related classes in one file but still hide implementation details inside each class<br>
&gt;<br>
&gt; I think that it the best solution is to make private keyword do what it states -- keep the class element private to the class. But if it&#39;s really important to have a separate keyword for backward compatibility, it would be the next best thing.<br>
<br>
But on the flip side, with your proposed semantics for private, it would be impossible to write a group of related types, functions, and extensions that do need to refer to each other’s internal details without exposing those details to the entire module.  That’s not really acceptable.<br>
<br>
The Swift language rule encourages you to put independent definitions in different files.  That definitely means that, if you want to enforce very tight separation of concerns, you’ll end up with more and smaller files.  You haven’t explained why that’s really a *problem*, though.<br>
<br>
John.</blockquote></div></blockquote></div>
</div></blockquote></div><div dir="auto"><blockquote type="cite"><div><img src="https://u2002410.ct.sendgrid.net/wf/open?upn=eLFMrKDT8iBxZ-2Fbnk-2BZqvSchNN-2FvYXdceA0T7VxwkAd8QJn-2Fbf-2BZHewgsbyhJg7VRh-2FIFco1XmDSy5txMLseiHN4HzyfGxyvV1-2F-2FdfExVugtV6JzIP3uCosVL28kIdBv8VxG4Ck51y-2FBWyLgiFJuVxI1VKdQFFK6WatCUHmAAuc6RczFh-2FBuODdBPKIQ6Wxt7nrda1kKAixYNV9Q1oxyLg3e3VyvYgioAsu483YZ3ns-3D" alt="" width="1" height="1" border="0" style="min-height:1px!important;width:1px!important;border-width:0!important;margin-top:0!important;margin-bottom:0!important;margin-right:0!important;margin-left:0!important;padding-top:0!important;padding-bottom:0!important;padding-right:0!important;padding-left:0!important">
</div></blockquote></div><div dir="auto"><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></blockquote></div>
</div></blockquote></div></blockquote></div>