[swift-evolution] A case for postponing ABI stability

[David Hart]

Thanks Michael for the manifesto. It definitely made quite a few things clearer for me.

Concerning the topic of when ABI stability should happen, I still have a strong feelings that Swift 4 might not be the best time for it. Concerning Data Layout, Type Metadata, Mangling, the Calling Convention and the Runtime, I don’t know enough about them to comment. I’m really centring my discussion on the Standard Library.

If we look back at the evolution of the Standard Library for Swift 3, they were many changes. And I’m personally very happy with the thoughtful design that went into those. But they are still a few gotchas, which is to be expected when so many changes are made at once. But we only discover them once the thousands of Swift developers start using those APIs.

I just worry that all the big changes that will come for Swift 4 won’t have time to mature. Furthermore, it seems like several extra compiler features which won’t happen in Swift 4 are really necessary to simplify the Standard Library surface area. I’m specifically thinking of type constraints on Existentials which would allow us to get rid of all the Any* structs and replace them with typedefs. But I’m sure there are more examples like those which are just waiting for the generics to become powerful enough to express APIs more elegantly.

Perhaps someone from the Standard Library team can chime in to give us their opinion on this topic.

Thanks!
David.

> On 26 Jan 2017, at 00:09, Michael Ilseman via swift-evolution <swift-evolution at swift.org> wrote:
> 
> As described in e.g. https://github.com/apple/swift/blob/master/docs/ABIStabilityManifesto.md#what-does-abi-stability-enable <https://github.com/apple/swift/blob/master/docs/ABIStabilityManifesto.md#what-does-abi-stability-enable>, it primarily enables OSes to ship with a copy of the standard library and runtime, rather than every app having to bundle their own copy. It’s also a crucial piece of supporting 3rd party frameworks. There are also more subtle benefits such as the de-coupling of developer tools that work with Swift binaries (e.g. debuggers and profilers). Some of the tasks towards stability are performance improvements we want to do anyways.
> 
> 
> 
>> On Jan 25, 2017, at 1:36 PM, Rick Mann via swift-evolution <swift-evolution at swift.org <mailto:swift-evolution at swift.org>> wrote:
>> 
>> I'm also late to the thread (and the ABI stability discussion in general). Is there a reference online that describes the reason for desiring ABI stability? I mean, I get, generally, why we need it. But I'd like to see the arguments for why we need it *now*, before certain other things are in place. Not saying the reasons for the urgency aren't valid, I just don't know what they are.
>> 
>> Thanks!
>> 
>>> On Jan 25, 2017, at 08:44 , Freak Show via swift-evolution <swift-evolution at swift.org <mailto:swift-evolution at swift.org>> wrote:
>>> 
>>> This is both great to hear (ivar introspection available) and a little disappointing (method level not).  Basically, I would hope for at least enough to allow implementation of KVC - which would require the ability to find and invoke methods by name.
>>> 
>>> 
>>> 
>>>> On Jan 24, 2017, at 14:16, Joe Groff <jgroff at apple.com <mailto:jgroff at apple.com>> wrote:
>>>> 
>>>> a lot of the information you'd need for many dynamic features is already there, and planned to be stabilized as part of the ABI. We already emit reflection data that describes the physical layouts of types, and once those formats are stabilized, building a library that interprets the metadata is additive (and could conceivably be done by a third party independent of the standard library). There may not be metadata for individual methods yet
>>> 
>>> _______________________________________________
>>> swift-evolution mailing list
>>> swift-evolution at swift.org <mailto:swift-evolution at swift.org>
>>> https://lists.swift.org/mailman/listinfo/swift-evolution
>> 
>> 
>> -- 
>> Rick Mann
>> rmann at latencyzero.com <mailto:rmann at latencyzero.com>
>> 
>> 
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
> 
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution

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