Every non-memory-safe language ought to come with a formal semantics. If the type checker can't semi-decide whether the program has a well-defined meaning, at l

Every non-memory-safe language ought to come with a formal semantics. If the type checker can't semi-decide whether the program has a well-defined meaning, at least you ought to have the tools to do it on your own. (This isn't a Zig-specific complaint. I've made exactly the same remark about unsafe Rust in the past.) I'm afraid that the illusion of simplicity would be lost in the formalization process.