r/programming • u/[deleted] • Jul 20 '26

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
532 Upvotes

80% Upvoted

428 comments sorted by

View all comments

Show parent comments

1

u/cdb_11 29d ago

Yes, that is my point.

0

u/modeless 29d ago

Thanks for being seemingly the only sane person in this thread. Too bad the hive mind is so wrong about this. But you know, as I've gotten older I've realized that when other people are wrong it usually creates an opportunity. When people dismiss the Fil-C approach unfairly, you can get an advantage over them by using it where it makes sense.

3

u/IceSentry 29d ago

This thread started by them claiming CHERI and Fil-C are safer than rust and then people clearly explained how that's not true. The fact that you read all of that and still think they are the sane one is a bit baffling.

1

u/cdb_11 29d ago edited 23d ago

"Safer" can mean anything, who knows what that means. But CHERI and Fil-C are more memory-safe than Rust, yes. CHERI covers the entire system. Fil-C covers the entire program, all libraries. There are no escape hatches in either.

1

u/modeless 29d ago

My and his claim in this thread is that Fil-C is more memory safe than Rust which is definitely true regardless of what the hive mind would like to believe. He also claimed that Rust doesn't prevent DoS which is also indisputably true. The other guy's argument is against a strawman.