One of the inspirations for Rust, as I recall, was Cyclone: https://cyclone.thelanguage.org/ https://cyclone.thelanguage.org/ Which was/is a "safe" dialect of

One of the inspirations for Rust, as I recall, was Cyclone: https://cyclone.thelanguage.org/ https://cyclone.thelanguage.org/ Which was/is a "safe" dialect of C; basically C extended with a bunch of the stuff that made it into Rust (algebraic datatypes, pattern matching, etc.) Though its model of safety is not the borrow checker model that Rust has. Always felt to me like something like Cyclone would be the natural direction for OS development to head in, as it fits better with existing codebases and skillsets. In any case, I'm happy to see this stuff happening in Rust.