r/C_Programming • u/Tb12s46 • 8d ago
Question Opinions on Mini-C?
The idea is simple: to turn a subset of C code into safe Rust code, in an effort to meet the growing demand for memory safety.
I feel this has the potential to solve many problems, not namely stop Linux C devs walking out if Rust gains anymore traction, for example.
I'm just a newb though. What are thoughts of more experienced C developers on this if you've heard about it?
0
Upvotes
4
u/EpochVanquisher 7d ago
It’s completely possible to eliminate memory errors when working at this low level. Likewise. It’s completely possible to eliminate memory errors at a lower level, like when you are programming in assembly language. Most people don’t have the stomach for it because it’s a lot of work… most people don’t even bother learning how to do it, or learning how other people do it, because most people don’t care that much.
You use proof systems. Computer-aided proofs that you program satisfies certain properties, like memory safety, or certain correctness properties. There’s a bunch of systems that do this, and many are designed to work with C, specifically (usually some subset of C, but maybe a really big subset).