From a language design perspective, C++ is worse than C. From a practical perspective, C++ can be better than C if the programmers are good and define a sane su

From a language design perspective, C++ is worse than C. From a practical perspective, C++ can be better than C if the programmers are good and define a sane subset of the language to use. D has garbage collection by default. I know it can be disabled, but when 80% of people use the default, using anything else means means you're a second class citizen. Ada/SPARK I haven't looked enough into, mainly because Ada's extremely verbose syntax puts me off, and I guess most system programmers have a similar opinion. Rust and Zig have big potential to become good languages, but they're too immature right now (no standard, only 1 viable implementation, etc). Maybe in 10 years using Zig to write an OS will be a no brainer, but not yet.