25 ms·
Use after free is the big one Zig still doesn't protect against. Yet? So I think it's a fair statement. Rust is safety obsessed. Zig is doing its best while pa
by dilap 6y ago
Use after free is the big one Zig still doesn't protect against. Yet?
So I think it's a fair statement. Rust is safety obsessed. Zig is doing its best while paying top tribute to other gods.
- pron 6y agoI would put it differently. Rust sacrifices anything -- including things that may hurt other aspects of correctness -- to soundly guarantee (assuming the compiler is correct) no undefined behaviour in its safe subset (and yet makes some concessions, as a large percentage of Rust programs do employ unsafe code, and so don't make such a strong guarantee), while Zig finds a different balance, at times sacrificing possible UB for the sake of helping with functional correctness. Even if you look at correctness only, it is unclear which approach, if any, offers a better story.