[swift-evolution] final + lazy + fileprivate modifiers

[Jean-Daniel]

> Le 15 févr. 2017 à 08:05, David Hart via swift-evolution <swift-evolution at swift.org> a écrit :
> 
> 
> 
> 
> Sent from my iPhone
> On 15 Feb 2017, at 06:31, Chris Lattner <sabre at nondot.org <mailto:sabre at nondot.org>> wrote:
> 
>> 
>>> On Feb 14, 2017, at 3:20 AM, David Hart <david at hartbit.com <mailto:david at hartbit.com>> wrote:
>>> 
>>> 
>>> On 14 Feb 2017, at 09:25, Goffredo Marocchi <panajev at gmail.com <mailto:panajev at gmail.com>> wrote:
>>> 
>>>> I disagree with that as well as I still think we are damaging the language each time we take a known concept (like access levels) and give new meanings to the same keywords. I still look baffled at the redefinition of do and the addition of repeat for example...
>>>> 
>>>> Private, the way it was before, was an admittedly curious take on how most languages mean by private and we have jumped through a lot of hoops to justify why we did not start with Java/C++/C# like access control and augmented it instead of redefining things, omitting others, and then constantly pulling the language left and right with not a lot of permanent consensus either way as this discussion and others before show.
>>> 
>>> It's a curious take, but it is a curious take is perfectly coherent with Swift extensions. How else would you access private implementation details from an extension? But putting it in the same file, instead of having to resort to an internal access level.
>> 
>> Right.  Swift is its own language distinct from Java/C++/etc.  While it is intentionally designed to remain familiar (and thus reuses many keywords across the language family), it often does so with slightly different meaning / behavior.  Consider ‘throw’ for example.
>> 
>> Keeping with the spirit of Swift and staying consistent with its design, I see two plausible meanings for private:
>> 
>> Private could mean either:
>> 1) private to the file (Swift 2 semantics)
>> 2) accessible only to the current type/scope and to extensions to that type that are in the current file.
> 
> I think (2) is worth discussing. My 2 cents:
> 
> Pros
> • Solves a high percentage of use cases of fileprivate
> • Type-scope proponents retain some of the safety
> 
> Cons
> • Less straight forward to explain
> • Access to different type/scope in same file not possible anymore

Which means that if we choose 2, we must keep fileprivate.
Being able to access other type private members in the same file is an important feature that can’t be easily replaced, so it would badely break existing code if we remove it.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170215/60112efc/attachment.html>