3 ms·
Ada's model for safe allocations is far more limited than Rust's, however. Particularly in ways that would require more unsafe code when writing a kernel.
by johncolanduoni 9y ago
Ada's model for safe allocations is far more limited than Rust's, however. Particularly in ways that would require more unsafe code when writing a kernel.
- pjmlp 9y agoI don't see why, given that Unchecked_Deallocation calls should only exist inside data structure implementations, never called directly from safe code. Which should just use controlled types, pools or standard containers. Also there are a few open experiments with Ada, https://muen.codelabs.ch/ https://muen.codelabs.ch/ https://github.com/Lucretia/bare_bones https://github.com/Lucretia/bare_bones https://marte.unican.es/ https://marte.unican.es/ Then there are the commercial ones used in the industry, making use of bare metal profiles like Ravenscar.