<div dir="ltr">On Sat, Feb 11, 2017 at 12:53 PM, Matthew Johnson <span dir="ltr"><<a href="mailto:matthew@anandabits.com" target="_blank">matthew@anandabits.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div><br><br>Sent from my iPad</div><span class=""><div><br>On Feb 11, 2017, at 12:44 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><div dir="ltr">On Sat, Feb 11, 2017 at 12:42 PM, Matthew Johnson via swift-evolution <span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
Sent from my iPad<br>
<span><br>
> On Feb 11, 2017, at 7:22 AM, Rien <<a href="mailto:Rien@Balancingrock.nl" target="_blank">Rien@Balancingrock.nl</a>> wrote:<br>
><br>
> I admit that I have not followed all of this discussion, but as far as I see, we could equally well do this by calling “not-open” enum’s “final”.<br>
> It seems like a better fit to me.<br>
<br>
</span>That is actually not a very good fit at all. `final` means a class cannot have any subclasses. If we applied it to enums I think the closest parallel would be an enum with no cases. But this makes the enum uninhabited so it is not just like `final class`, but actually more like `abstract final class`.<br></blockquote><div><br></div><div>Well, you _could_ move `final` to the cases themselves, and it would mean the right thing: `enum Foo { final case bar, baz }`.</div></div></div></div></div></blockquote><div><br></div></span>I don't quite follow this. In order for `final` to mean something when applied to a kind of entity it should also be meaningful to non-final entities of that same kind. What would a non-final case be?</div></blockquote><div><br></div><div>Yeah, you're right; that doesn't quite cut it.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div><div class="h5"><div><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="m_-1933590851590078538HOEnZb"><div class="m_-1933590851590078538h5"><br>
><br>
> Regards,<br>
> Rien<br>
><br>
> Site: <a href="http://balancingrock.nl" rel="noreferrer" target="_blank">http://balancingrock.nl</a><br>
> Blog: <a href="http://swiftrien.blogspot.com" rel="noreferrer" target="_blank">http://swiftrien.blogspot.com</a><br>
> Github: <a href="http://github.com/Balancingrock" rel="noreferrer" target="_blank">http://github.com/Balancingroc<wbr>k</a><br>
> Project: <a href="http://swiftfire.nl" rel="noreferrer" target="_blank">http://swiftfire.nl</a><br>
><br>
><br>
><br>
><br>
><br>
>> On 11 Feb 2017, at 14:07, Matthew Johnson via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
>><br>
>><br>
>><br>
>> Sent from my iPad<br>
>><br>
>>> On Feb 11, 2017, at 4:25 AM, Adrian Zubarev via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
>>><br>
>>> I’m probably better describing things with some bikeshedding code, but feel free to criticize it as much as you’d like.<br>
>>><br>
>>> //===========--------- Module A ---------===========//<br>
>>> @closed public enum A {<br>
>>> case a<br>
>>> }<br>
>>><br>
>>> extension A {<br>
>>> case aa // error, because enum is closed<br>
>>> }<br>
>>><br>
>> This is an error because you can't add cases in an extension. I imagine this is how cases would be added outside the module if we allow `open enum` in the future. But whether or not this is allowed *within* the module is a separate question that is orthogonal to `closed` and `open`.<br>
>><br>
>><br>
>>><br>
>>> public func foo(a: A) {<br>
>>> switch a {<br>
>>> case .a:<br>
>>> print("done")<br>
>>> }<br>
>>> }<br>
>>><br>
>>> public enum B {<br>
>>> case b<br>
>>> }<br>
>>><br>
>>> extension B {<br>
>>> case bb // fine, because not-closed enums are extensible<br>
>>> }<br>
>>><br>
>> As noted above, whether this is allowed or not *within* the module is orthogonal to `closed`. *Outside* the module it would only be possible for enum declared `open` (if we add this feature in the future).<br>
>><br>
>>><br>
>>> public func bar(b: B) {<br>
>>> switch b {<br>
>>> case .b:<br>
>>> print("b")<br>
>>><br>
>>> default: // always needed<br>
>>> print("some other case")<br>
>>> }<br>
>>> }<br>
>>><br>
>>> // Sub-enum relationships<br>
>>><br>
>>> // Possible even the enum A is closed, because `@closed` only<br>
>>> // closes the extensibility of an enum<br>
>>> enum SubA : A {<br>
>>> case aa<br>
>>> }<br>
>>><br>
>>><br>
>> Now you're talking about value subtypes. That is orthogonal. Also, this syntax already has a meaning (the raw value of the enum is A) so we wouldn't be able to use it the way you are intending here. Finally, it is misleading syntax because what you mean here is "A is a subtype of SubA" which is exactly the opposite of what the syntax implies.<br>
>><br>
>> All values of A are valid values of SubA, but SubA has values that are not valid values of A.<br>
>><br>
>>> // The following enum can have a sub-enum in the clients module<br>
>>> open enum C {<br>
>>> case c<br>
>>> }<br>
>>><br>
>>> public func cool(c: C) {<br>
>>> switch c {<br>
>>> case .c:<br>
>>> print("c")<br>
>>><br>
>>> default: // always needed<br>
>>> print("some other case")<br>
>>> }<br>
>>> }<br>
>>><br>
>>> @closed open enum D {<br>
>>> case d<br>
>>> }<br>
>>><br>
>>> public func doo(d: D) {<br>
>>> switch b {<br>
>>> case .b:<br>
>>> print("b")<br>
>>> }<br>
>>> }<br>
>>><br>
>>> // The enum case is always known at any point, no matter<br>
>>> // where the instance comes from, right?<br>
>>><br>
>>> let subA = SubA.aa<br>
>>> let otherSubA = SubA.a // Inherited case<br>
>>><br>
>>> let a: A = subA // error, downgrade the sub-enum to A first<br>
>>> let a: A = otherSubA // okay<br>
>>><br>
>>> foo(a: subA) // error, downgrade the sub-enum to A first<br>
>>> foo(a: otherSubA) // okay<br>
>>><br>
>>> //===========--------- Module B ---------===========//<br>
>>><br>
>>> // Totally fine<br>
>>> switch A.a {<br>
>>> case .a:<br>
>>> print("done")<br>
>>> }<br>
>>><br>
>>> extension A {<br>
>>> case aa // not allowed because the enum is closed<br>
>>> }<br>
>>><br>
>>> extension B {<br>
>>> case bbb<br>
>>> }<br>
>>><br>
>>> switch B.b {<br>
>>> case .b:<br>
>>> print("b")<br>
>>> default:<br>
>>> print("somethine else")<br>
>>> }<br>
>>><br>
>>> bar(b: B.bbb) // fine, because the switch statement on enums without<br>
>>> // `@closed` has always`default`<br>
>>><br>
>>> // Allowed because `C` is open, and open allows sub-typing, conforming<br>
>>> // and overriding to the client<br>
>>> enum SubC : C {<br>
>>> case cc<br>
>>> }<br>
>>><br>
>>> let subC =<br>
>>> <a href="http://SubC.cc" target="_blank">SubC.cc</a><br>
>>><br>
>>><br>
>>> cool(c: subC) // okay<br>
>>><br>
>>> enum SubD : D {<br>
>>> case dd<br>
>>> }<br>
>>><br>
>>> doo(d: D.dd)// error, downgrade sub-enum to D first<br>
>>><br>
>>> My point here is, that we should not think of (possible) open enums as enums that the client is allowed to extend. That way we’re only creating another inconsistent case for the open access modifier. As far as I can tell, open as for today means “the client is allowed to subclass/override things from a different module”.<br>
>>><br>
>> Yes, but subclasses are analogous to enum cases. A subtype of an enum would remove cases. I think you are misunderstanding the relationship of enums to classes and protocols.<br>
>><br>
>>> And I already said it hundred of times that we should extend this to make open a true access modifier in Swift. That said the meaning of open should become:<br>
>>><br>
>>> • The client is allowed to sub-type (currently only classes are supported).<br>
>>> • The client is allowed to conform to open protocols<br>
>>> • The client is allowed to override open type members<br>
>>> This also means that extensibility is still allowed to public types. Public-but-not-open classes are still extensible today, which is the correct behavior. Extending an enum which is not closed could or probably should be made possible through extensions, because I cannot think of anther elegant way for the client to do so.<br>
>>><br>
>> This is what `open enum` would allow. It is the proper enum analogue of open classes.<br>
>><br>
>>> That will leave us the possibility to think of sub-typing enums in the future (I sketched it out a little above).<br>
>>><br>
>> Value subtyping is very interesting. I have been working on some ideas around this but I want to keep this thread focused.<br>
>><br>
>>> If I’m not mistaken, every enum case is known at compile time,<br>
>>><br>
>> This is true today but will not always be true in the future. That is in large part what this thread is about.<br>
>><br>
>>> which means to me that we can safely check the case before allowing to assign or pass an instance of a sub-enum to some of its super-enum. (Downgrading an enum case means that you will have to write some code that either mutates your current instance or creates a new one which matches one of the super-enum cases.) Furthermore that allows a clear distinction of what open access modifier does and how @closed behaves.<br>
>>><br>
>> I'm not going to comment on the rest because it is premised on a misunderstanding of what value subtyping is. I'm going to share some ideas around value subtyping in a new thread as soon as I have a chance to finish putting them together.<br>
>><br>
>>> To summarize:<br>
>>><br>
>>> • @closed enum - you’re not allowed to add new cases to the enum in your lib + (you’re allowed to create sub-enums)<br>
>>> • @closed public enum - you and the client are not allowed to add new cases (+ the client is not allowed to create sub-enums)<br>
>>> • @closed open enum - you and the client are not allowed to add new cases (+ the client might create new sub-enums)<br>
>>> • enum - you’re allowed to add new cases (default is needed in switch statements) (+ you can create new sub-enums)<br>
>>> • public enum - you and the client are allowed to add new cases (+ only you are allowed to create new sub-enums)<br>
>>> • open enum - you and the client are allowed to add new cases (everyone can create new sub-enums)<br>
>>> This is a lot of bike shedding of mine, and the idea might not even see any light in Swift at all, but I’d like to share my ideas with the community. Feel free to criticize them or flesh something out into something real. :)<br>
>>><br>
>>> P.S.: If we had something like this:<br>
>>><br>
>>> @closed enum X {<br>
>>> case x, y<br>
>>> func foo() {<br>
>>> switch self {<br>
>>> case .x, .y:<br>
>>> print("swift")<br>
>>> }<br>
>>> }<br>
>>><br>
>>> enum Z : X {<br>
>>> case z, zz<br>
>>> override func foo() {<br>
>>> // Iff `self` is `z` or `zz` then calling super will result in an error.<br>
>>> // Possible solution: always tell the client to downgrade explicitly the<br>
>>> // case first if there is an attempt to call super (if mutating),<br>
>>> // or handle all cases<br>
>>><br>
>>> switch self {<br>
>>> case .z, .zz:<br>
>>> print("custom work")<br>
>>> default: // or all super-enum cases<br>
>>> super.foo()<br>
>>> }<br>
>>> }<br>
>>> }<br>
>>><br>
>>><br>
>>><br>
>>><br>
>>> --<br>
>>> Adrian Zubarev<br>
>>> Sent with Airmail<br>
>>><br>
>>> Am 11. Februar 2017 um 04:49:11, Xiaodi Wu via swift-evolution (<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>) schrieb:<br>
>>><br>
>>>> On Wed, Feb 8, 2017 at 5:05 PM, Matthew Johnson via swift-evolution <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
>>>> I’ve been thinking a lot about our public access modifier story lately in the context of both protocols and enums. I believe we should move further in the direction we took when introducing the `open` keyword. I have identified what I think is a promising direction and am interested in feedback from the community. If community feedback is positive I will flesh this out into a more complete proposal draft.<br>
>>>><br>
>>>><br>
>>>> Background and Motivation:<br>
>>>><br>
>>>> In Swift 3 we had an extended debate regarding whether or not to allow inheritance of public classes by default or to require an annotation for classes that could be subclassed outside the module. The decision we reached was to avoid having a default at all, and instead make `open` an access modifier. The result is library authors are required to consider the behavior they wish for each class. Both behaviors are equally convenient (neither is penalized by requiring an additional boilerplate-y annotation).<br>
>>>><br>
>>>> A recent thread (<a href="https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170206/031566.html" rel="noreferrer" target="_blank">https://lists.swift.org/piper<wbr>mail/swift-evolution/Week-of-<wbr>Mon-20170206/031566.html</a>) discussed a similar tradeoff regarding whether public enums should commit to a fixed set of cases by default or not. The current behavior is that they *do* commit to a fixed set of cases and there is no option (afaik) to modify that behavior. The Library Evolution document (<a href="https://github.com/apple/swift/blob/master/docs/LibraryEvolution.rst#enums" rel="noreferrer" target="_blank">https://github.com/apple/swif<wbr>t/blob/master/docs/LibraryEvol<wbr>ution.rst#enums</a>) suggests a desire to change this before locking down ABI such that public enums *do not* make this commitment by default, and are required to opt-in to this behavior using an `@closed` annotation.<br>
>>>><br>
>>>> In the previous discussion I stated a strong preference that closed enums *not* be penalized with an additional annotation. This is because I feel pretty strongly that it is a design smell to: 1) expose cases publicly if consumers of the API are not expected to switch on them and 2) require users to handle unknown future cases if they are likely to switch over the cases in correct use of the API.<br>
>>>><br>
>>>> The conclusion I came to in that thread is that we should adopt the same strategy as we did with classes: there should not be a default.<br>
>>>><br>
>>>> There have also been several discussions both on the list and via Twitter regarding whether or not we should allow closed protocols. In a recent Twitter discussion Joe Groff suggested that we don’t need them because we should use an enum when there is a fixed set of conforming types. There are at least two reasons why I still think we *should* add support for closed protocols.<br>
>>>><br>
>>>> As noted above (and in the previous thread in more detail), if the set of types (cases) isn’t intended to be fixed (i.e. the library may add new types in the future) an enum is likely not a good choice. Using a closed protocol discourages the user from switching and prevents the user from adding conformances that are not desired.<br>
>>>><br>
>>>> Another use case supported by closed protocols is a design where users are not allowed to conform directly to a protocol, but instead are required to conform to one of several protocols which refine the closed protocol. Enums are not a substitute for this use case. The only option is to resort to documentation and runtime checks.<br>
>>>><br>
>>>><br>
>>>> Proposal:<br>
>>>><br>
>>>> This proposal introduces the new access modifier `closed` as well as clarifying the meaning of `public` and expanding the use of `open`. This provides consistent capabilities and semantics across enums, classes and protocols.<br>
>>>><br>
>>>> `open` is the most permissive modifier. The symbol is visible outside the module and both users and future versions of the library are allowed to add new cases, subclasses or conformances. (Note: this proposal does not introduce user-extensible `open` enums, but provides the syntax that would be used if they are added to the language)<br>
>>>><br>
>>>> `public` makes the symbol visible without allowing the user to add new cases, subclasses or conformances. The library reserves the right to add new cases, subclasses or conformances in a future version.<br>
>>>><br>
>>>> `closed` is the most restrictive modifier. The symbol is visible publicly with the commitment that future versions of the library are *also* prohibited from adding new cases, subclasses or conformances. Additionally, all cases, subclasses or conformances must be visible outside the module.<br>
>>>><br>
>>>> Note: the `closed` modifier only applies to *direct* subclasses or conformances. A subclass of a `closed` class need not be `closed`, in fact it may be `open` if the design of the library requires that. A class that conforms to a `closed` protocol also need not be `closed`. It may also be `open`. Finally, a protocol that refines a `closed` protocol need not be `closed`. It may also be `open`.<br>
>>>><br>
>>>> This proposal is consistent with the principle that libraries should opt-in to all public API contracts without taking a position on what that contract should be. It does this in a way that offers semantically consistent choices for API contract across classes, enums and protocols. The result is that the language allows us to choose the best tool for the job without restricting the designs we might consider because some kinds of types are limited with respect to the `open`, `public` and `closed` semantics a design might require.<br>
>>>><br>
>>>><br>
>>>> Source compatibility:<br>
>>>><br>
>>>> This proposal affects both public enums and public protocols. The current behavior of enums is equivalent to a `closed` enum under this proposal and the current behavior of protocols is equivalent to an `open` protocol under this proposal. Both changes allow for a simple mechanical migration, but that may not be sufficient given the source compatibility promise made for Swift 4. We may need to identify a multi-release strategy for adopting this proposal.<br>
>>>><br>
>>>> Brent Royal-Gordon suggested such a strategy in a discussion regarding closed protocols on Twitter:<br>
>>>><br>
>>>> * In Swift 4: all unannotated public protocols receive a warning, possibly with a fix-it to change the annotation to `open`.<br>
>>>> * Also in Swift 4: an annotation is introduced to opt-in to the new `public` behavior. Brent suggested `@closed`, but as this proposal distinguishes `public` and `closed` we would need to identify something else. I will use `@annotation` as a placeholder.<br>
>>>> * Also In Swift 4: the `closed` modifier is introduced.<br>
>>>><br>
>>>> * In Swift 5 the warning becomes a compiler error. `public protocol` is not allowed. Users must use `@annotation public protocol`.<br>
>>>> * In Swift 6 `public protocol` is allowed again, now with the new semantics. `@annotation public protocol` is also allowed, now with a warning and a fix-it to remove the warning.<br>
>>>> * In Swift 7 `@annotation public protocol` is no longer allowed.<br>
>>>><br>
>>>> A similar mult-release strategy would work for migrating public enums.<br>
>>>><br>
>>>> A different line of feedback here:<br>
>>>><br>
>>>> As per previous reply, I now think if we clarify the mental model of the access modifier hierarchy you're proposing and adopt or reject with that clarity, we'll be fine whether we go with `closed` or with `@closed`. But I don't think the source compatibility strategy you list is the most simple or the most easy to understand for end users.<br>
>>>><br>
>>>> - I'll leave aside closed protocols, which as per Jordan Rose's feedback may or may not have sufficient interestingness.<br>
>>>> - With respect to enums, I don't think we need such a drastic whiplash in terms of what will compile in future versions. Instead, we could take a more pragmatic approach:<br>
>>>><br>
>>>> 1. In Swift 4, remove the warning (or is it error?) about `default` cases in switch statements over public enums. Simultaneously, add `closed` or `@closed` (whatever is the approved spelling) and start annotating standard library APIs. The annotation will be purely future-proofing and have no functional effect (i.e. the compiler will do nothing differently for a `closed enum` or `@closed public enum` (as the case may be) versus a plain `public enum`).<br>
>>>> 2. In Swift 4.1, _warn_ if switch statements over public enums don't have a `default` statement: offer a fix-it to insert `default: fatalError()` and, if the enum is in the same project, offer a fix-it to insert `closed` or `@closed`.<br>
>>>> 3. In Swift 5, upgrade the warning to an error for non-exhaustiveness if a switch statement over a public enum doesn't have a `default` statement. Now, new syntax to extend an `open enum` can be introduced and the compiler can treat closed and public enums differently.<br>
>>>><br>
>>>> ______________________________<wbr>_________________<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/mailma<wbr>n/listinfo/swift-evolution</a><br>
>>><br>
>>> ______________________________<wbr>_________________<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/mailma<wbr>n/listinfo/swift-evolution</a><br>
>> ______________________________<wbr>_________________<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/mailma<wbr>n/listinfo/swift-evolution</a><br>
><br>
<br>
______________________________<wbr>_________________<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/mailma<wbr>n/listinfo/swift-evolution</a><br>
</div></div></blockquote></div><br></div></div>
</div></blockquote></div></div></div></div></blockquote></div><br></div></div>