Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
I got curious about a few things, notably that MIR thing that seemed to be a work in progress... But when I checked, it seems that MIR has been in use for years already, unless I missed something out. So I'm not sure how outdated the reasons I found on the old website are. Do you know the reasons why Rust has slow compilation times today?
Dynamic linking is supported as long as you use the same compiler version for both the linking and linked programs. There is no stability guarantee, otherwise. And naturally, because this is Rust, you cannot partially change the layout of structures that cross the border without recompiling everything. But otherwise it works just fine. Check out how Bevy does it, it's quite simple in concept.
But MIR optimizations are a bit of a mess right now. The semantics of MIR are not completely settled but that is an area of active work: https://github.com/nikomatsakis/a-mir-formality