News for hackers. Stuff that matters.
Re:Rust in Linux kernel is just a beginning by pedrocr on Tuesday October 25, 2022 @09:19AM (#33330094)
If those languages achieve their memory safety at runtime, like C# does with GC, then that becomes relevant to the point of the compile time performance. The C# compiler has to do less as that complexity has been pushed elsewhere with different tradeoffs.
Re:Rust in Linux kernel is just a beginning by pjmlp on Tuesday October 25, 2022 @09:24AM (#33330152)
Rust safety with runtime dependencies, Vec bounds checking, Arc and Rc datatypes.

Ada with SPARK 2014 formal proofs, for your other part of the remark.