News for hackers. Stuff that matters.
Re:Some Thoughts on Zig by pcwalton on Thursday July 21, 2022 @11:31PM (#32188186)
Well, that weaker sense of "correct programs have no UB" is true for Rust as well, then.
Re:Some Thoughts on Zig by Schroedingersat on Friday July 22, 2022 @03:37AM (#32189523)
Rust has hidden allocation, no planned static stack analysis or limits on recursion, little to no control over how allocation happens, no ability to guarantee a panic won't happen and thus no ability for the programmer to guarantee eg. essential external resources are cleaned up.

The guarantees that zig seeks to enable (this being the key phrase, it does not guarantee them just by its use, nor has the project solved all the problems this entails) the programmer to provide are non-goals of rust.

Ie. the projects have completely different goals. The things zig want to provide would make rust unusable if it tried to provide them and vice versa.

Re:Some Thoughts on Zig by zozbot234 on Friday July 22, 2022 @03:40AM (#32189543)
Rust has had to implement limits on recursion already as part of async. It seems feasible to extend this to other code. And local allocators are also being worked on.
Re:Some Thoughts on Zig by Schroedingersat on Friday July 22, 2022 @04:46AM (#32189939)
That's cool. Linky to discussions? I can't seem to search it.