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.
https://austral-lang.org has linear types and doesn’t use RAII but it doesn’t have defer.
For more context, this is an Rc-like object that avoids atomic operations by requiring a reference to a !Sync "Root" object for operations that'd otherwise need to be atomic. An earlier prototype with some benchmarks and additional explanation is here: https://github.com/sporksmith/objgraph/. I never got around to publishing to crates.io, but if there's interest I could update this implementation (from the one I folded into the larger shadow project) and publish it.
Doing this legwork for unsafe code is 100% required, and the compiler isn't of much help here (but there are external tools that check unsafe code like kani).