-
Notifications
You must be signed in to change notification settings - Fork 39
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Consider adding support for Swift interop? #524
Comments
I think the main difficulty here is that interfacing with Swift requires interfacing with the Swift runtime as well, which is quite underspecified and We'd basically need to develop an entirely new library with a similar, if not greater, scope to I'm not fundamentally opposed to doing all of this in this project, but I think we should focus our efforts on Objective-C, since there's still lots to do on that front. That said, I do believe we could support Swift modules that expose an Objective-C interface, i.e. Swift classes and methods that use the
I'm not sure I understand the difference between a Clang and a Swift module? Are Clang modules more C-centric? Do Swift modules contain more information / are structured differently? As long as we can confidently figure out "this method uses the Objective-C calling convention, and this uses the Swift calling convention", then I see no reason to not use the (presumably) more descriptive Swift modules.
I agree that preparing for that future is a good idea. It would also make sense to consider future C++ support in all of this, although definitely low priority.
I agree that this is a good point, our naming should definitely follow Swift's naming instead of the Objective-C naming.
I'm too unsure of how better IDE support is going to work to really comment on if this would help us or not.
I think my general point is that as long as we still emit the same |
Something I've been thinking about lately is that it might be interesting to start seriously considering Swift interop, or at the very least keep that possibility at the forefront with regard to any design decisions going forward.
Now that
cxx-swift
is starting to become usable, and I've managed to find a nice solution (which should be ready for testing next week) for distributing the Swift libraries on all the major platforms at build time, this means we should have access to basically the entire Swift compiler library tooling, not justClangImporter
.Notably, one of the other Swift library components that looks quite interesting is
PrintAsClang
, which lets you dump a Swift module declaration as a clang header.Theoretically, it seems like we should be able to use this functionality, along with the existing Objective-C to Rust translation semantics, to obtain a usable translation from pure Swift modules.
I haven't tried to use it at all yet so I don't know how well it works, but it's something to consider.
That also begs another question: if we have to rewrite a significant part of the
header-translator
in order to work withClangImporter
, would it maybe be a better idea to implement the new translation logic as a mapping from Swift to Rust (as much as possible anyway), rather than from Objective-C to Rust?After all,
ClangImporter
is primarily meant to provide Swift modules, it just happens that (the way I understand how we would use it currently) we ignore that part and instead ask for the loaded Clang modules, so that we can iterate over those directly.Reasons why it might be interesting to work with the Swift modules instead of the Clang modules:
Any thoughts on this?
One thing I was just thinking might be a downside to this is that most of the existing major frameworks are still implemented in Objective-C even when they have Swift interfaces. But I'm not sure this is really a problem because, at least for now (though
extern "crabi"
may change that), we would still have to link using the C FFI, so it's not like there would be a performance overhead in that regard. What we would gain would still be potentially cleaner and more universal translation semantics and the ability to leverage the other compiler libraries like the IDE support.The text was updated successfully, but these errors were encountered: