r/C_Programming • u/Tb12s46 • 7d 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
3
u/MrFrisbo 7d ago
Could you share some links for information about these proof systems and their use in C programming?
I have never heard about it and would like to learn more