Re:Writing a Linux-compatible kernel in Rust
by lionkor on Tuesday October 26, 2021 @07:00AM
(#28998782)
"I think Ada/SPARK needs to seriously be considered for a lot more projects. Maybe we need better tooling, but still".unwrap().unwrap().unwrap()
[ Parent
| on HN ]
Re:Writing a Linux-compatible kernel in Rust
by johnisgood on Tuesday October 26, 2021 @07:02AM
(#28998794)
It has a package manager now! :D Anyways, there are some things that could make Ada/SPARK more desirable but it has nothing to do with the language itself. :(