<div dir="ltr">Let&#39;s start with: I much prefer including the word &#39;file&#39; in the file access level, to not including it. The bikeshedding discussions proposed too many permutations of &#39;public&#39; &#39;external&#39; &#39;internal&#39; &#39;private&#39; for me, not to mention the potential additions of &#39;secret&#39;, &#39;hidden&#39;, &#39;closed&#39;... I think single-word adjectives would be nice if there was a ready hierarchy available in English, but there isn&#39;t, and inventing one for this purpose makes learning and readability difficult.<div><br></div><div>So, burrowing back into the bike shed...</div><div><br></div><div>I think the three features you&#39;ve listed - readability, fewer keywords, extensibility - work within the dimension of access levels we have now, as long as private(module) is implicitly the default. I&#39;m curious about the setter-specific access where that isn&#39;t the case, though - suppose the getter-specific access level for your example wasn&#39;t &#39;internal&#39;. How would we declare this?</div><div><br></div><div>public(open: get), private(file: set) var someValue: Int = 0</div><div>private(file: get, scope: set) var someValue: Int = 0</div><div><br></div><div>Orthogonal extensions, such as &#39;protected&#39;, multiply the problem. How do you restrict which access levels get &#39;type&#39; access?</div><div><br></div><div>I think perhaps you reverse the arguments:</div><div>private(set: scope, get: file, type: module)</div><div><br></div><div>Perhaps, by default:</div><div><br></div><div>These four are equivalent:</div><div>var someValue: Int = 0</div><div>private var someValue: Int = 0</div><div>private(module) var someValue: Int = 0</div><div>private(get: module) var someValue: Int = 0</div><div><br></div><div>&#39;set&#39; defaults to &#39;get&#39; level unless explicitly restricted further, e.g. these two are equivalent</div><div>private(set: file) var someValue: Int = 0</div><div>private(get: module, set: file) var someValue: Int = 0</div><div><br></div><div>Perhaps &#39;type&#39; access is &#39;set&#39; level unless explicitly exposed:</div><div>private(get: file, set: scope, type: module)</div><div><br></div><div>... It doesn&#39;t make sense to me that &#39;type&#39; would be more restricted than &#39;set&#39;, but offhand I haven&#39;t figured out if &#39;type&#39; can be more exposed than &#39;get&#39;. If there are restrictions like this the compiler can complain that the access levels specified are inconsistent.</div><div><br></div><div>This still seems a bit clunky to me if you have a public and a private on the same line, but perhaps someone can suggest something for that.</div><div><br></div><div>Ross</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 20, 2017 at 11:42 AM, Haravikk 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"><div style="word-wrap:break-word">So discussion of the exact naming convention for access modifiers has been discussed multiple times, especially when fileprivate was being introduced. It&#39;s now been a while since fileprivate was added, so we&#39;ve all had more time to actually work with it, so I wanted to raise the discussion again to see what people now think.<div><br></div><div>Specifically, during the debate over access modifiers I really didn&#39;t like the propose fileprivate, as I don&#39;t like conjoined lower-case key-&quot;words&quot; (to me a keyword should always be a single word, I still don&#39;t like associatetype or typealias either, and neither does macOS&#39; auto-correct 😉). And to be honest my opinion hasn&#39;t changed; if anything I hate it even more.</div><div><br></div><div>The proposal I preferred was to use only the public and private keywords and use parameters to provide greater specificity, like so:</div><div><br></div><div><span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>public<span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">                        </span>as it is now</div><div><span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>private(module)<span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>equivalent to internal, which is private to the current module/project</div><div><span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>private(file)<span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">                </span>equivalent to fileprivate</div><div><span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>private(scope)<span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">                </span>equivalent to current private</div><div><br></div><div>The actual parameters are up for debate, but I still feel this a lot clearer. I also generally prefer the parameterised version for several reasons:</div><div><br></div><div><ul class="m_6992110101845618359MailOutline"><li>Readability: I know not everyone will agree on this one, but I much prefer the separation to having conjoined keywords.</li><li>Fewer Keywords: Maybe I&#39;m a keyword purist or something, but I just don&#39;t like having too many keywords in the language, especially four for what amounts to a single feature (access).</li><li>Extensibility: It is easier and cleaner to add more parameters in future. For example, private(type) could be an equivalent to protected access in other languages. It can also be used to more easily group external extension modifiers under public such as public(final), public(open) etc.</li></ul><div><br></div><div>For setter-specific access it might look something like:</div><div><br></div><div><font face="Monaco"><span class="m_6992110101845618359Apple-tab-span" style="white-space:pre-wrap">        </span>private(file:set) var someValue:Int = 0</font></div><div><br></div></div><div>I know it might not seem that important to some people, but this is one area of Swift&#39;s syntax that still bothers me, perhaps unreasonably so, but I don&#39;t get to pick what annoys me! I&#39;d also seek to replace associatedtype and typealias (and any other conjoined keyword I&#39;ve forgotten) but I haven&#39;t thought of any alternatives that I like for those yet.</div><div><br></div><div>Anyway, just wanted to discuss how others felt having used fileprivate and such for a while, and whether it&#39;s worth revisiting, or if I just have to live with it.</div></div><br>______________________________<wbr>_________________<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/<wbr>mailman/listinfo/swift-<wbr>evolution</a><br>
<br></blockquote></div><br></div>