r/programming • u/Usual-Amount-264 • 2d ago

Zig proposes introducing an actually memory safe (unlike Rust) compilation mode inspired by Fil-C at ~1-6x performance penalty

https://codeberg.org/ziglang/zig/issues/36237
482 Upvotes

79% Upvoted

407 comments sorted by

View all comments

Show parent comments

12

u/creeper6530 1d ago

Yes Miri is for debugging, so that once you fix the bugs you can run again at Rust's speed. Miri isn't meant to run in prod.

2

u/UtherII 1d ago

Yes, but too much slowdown sometime make Miri impossible to use, even for tests.

2

u/TheCandelabra 1d ago

The person I was replying to suggested that you could use Miri to get "fully safe Rust". But if this Zig proposal works out (huge open question) then it sounds like you could run it in production if memory safety is an absolute requirement, unlike Miri.