I can only speak for Rust, but Rust does actually give you the flexibility and unsafety of C, but this is an escape hatch; you can write most of your program wi

I can only speak for Rust, but Rust does actually give you the flexibility and unsafety of C, but this is an escape hatch; you can write most of your program with the memory and data race safety that Rust provides, only dropping down to the super-low-level C-like code when absolutely necessary. I.e. you can rely on the compiler to verify most of your code, only the explicit `unsafe` blocks (which are normally very rare, especially with some considered abstractions that keep all the unsafety in one place) absolutely need auditing for things like buffer overflow and use-after-free (unlike C/C++ where any code in the whole codebase can have these problems).