I would like to see C with just the borrow checker - nothing else. I assume someone has probably already done this, and I just don't know about it. The primary

I would like to see C with just the borrow checker - nothing else. I assume someone has probably already done this, and I just don't know about it. The primary advantage of C is that, and this just parphrasing a Linus Torvald's quote - it was developed at a time when computers weren't that powerful and so it's very close to assembly such that a proficient C programmer knows exactly what's going on under the hood. I can't say the same for Rust or C++ which both spit out an enormous amount of code thanks to monomorphisation and all the other "zero cost" abstractions they employ.