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@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@swift.org <mailto:swift-evolution@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@swift.org <mailto:swift-evolution@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 <jgr...@apple.com 
>>>> <mailto:jgr...@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@swift.org <mailto:swift-evolution@swift.org>
>>> https://lists.swift.org/mailman/listinfo/swift-evolution
>> 
>> 
>> -- 
>> Rick Mann
>> rm...@latencyzero.com <mailto:rm...@latencyzero.com>
>> 
>> 
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution@swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
> 
> _______________________________________________
> swift-evolution mailing list
> swift-evolution@swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to