News for hackers. Stuff that matters.
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()
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. :(