Re:Writing a Linux-compatible kernel in Rust
by IAmLiterallyAB on Tuesday October 26, 2021 @10:02AM
(#29000492)
Does Ada also have something similar to the borrow checker? That is, forbidding bad memory access at compile time. I'm not familiar with Ada
[ Parent
| on HN ]
Re:Writing a Linux-compatible kernel in Rust
by johnisgood on Tuesday October 26, 2021 @10:25AM
(#29000791)
You may want to read https://news.ycombinator.com/item?id=28999859.