4 ms·
"Safety" is always important, and you can write safe software in Zig.
by Validark 1y ago
"Safety" is always important, and you can write safe software in Zig.
- simonask 1y ago“Safety” as defined in the context of the Rust language - the absence of Undefined Behavior - is important 100% of the time. Without it, you are not writing programs in the language you think you are using. That’s a convoluted way to say that UB is much, much worse than you think. A C program with UB is not a C program, but something else.
- kiitos 1y agocurious, where is the definition of "undefined behavior" for rust specified?
- simonask 1y agoHere: https://doc.rust-lang.org/reference/behavior-considered-undefined.html https://doc.rust-lang.org/reference/behavior-considered-unde...
- kiitos 1y agommm, no, that's an explicitly incomplete list of informally-described observable behaviors that qualify as undefined -- which is fine and good! but quite far from a specification!