[SkyMarshal]

This is the real comparison, the only other systems language besides Rust that provides both safety and manual memory management. Ada does it via Access Types:

https://en.wikibooks.org/wiki/Ada_Programming/Types/access#W...