Hey Slava, this looks to be an incredible resource and I very much look forward to reading it. A question I have: is there any hope to specialize generics exported by shared libraries? Perhaps with help from bitcode or dyld?
As you know so many of Apple's frameworks are packaged as shared libraries, and enabling them to export generic definitions which operate on concrete representations would be killer.
I can't comment on Apple frameworks but there's a @_specialize attribute which allows you to export a fixed set of pre-specialized entry points from your own frameworks, without exposing the entire function body as serialized SIL the way that @inlinable does, but it's still experimental and subject to breakage and change: https://github.com/apple/swift/blob/main/docs/Generics.rst#s...
As you know so many of Apple's frameworks are packaged as shared libraries, and enabling them to export generic definitions which operate on concrete representations would be killer.