Re:Writing a Linux-compatible kernel in Rust
by johnisgood on Tuesday October 26, 2021 @06:59AM
(#28998766)
> but it still doesn't solve heap memory safety like Rust does
Care to elaborate on this?
> Ada also prevents dangling references to objects on the stack or the heap, by providing automatic compile-time checking of "accessibility" levels, which reflect the lifetimes of stack and heap objects.[1]
Care to elaborate on this?
> Ada also prevents dangling references to objects on the stack or the heap, by providing automatic compile-time checking of "accessibility" levels, which reflect the lifetimes of stack and heap objects.[1]
Or what are you referring to?
[1] https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo...