Does that hold for the release allocator too? It also requires the leak to happen in your testing (not differently from C/C++'s sanitizers)

I really don’t see your point here. Of course you have to catch the coding problem in your development phase; just like Rust is omitting overflow checking on release for performance reasons… I will just pass on that one, I am probably missing something here. At release, it’s a little too late to debug your code… Rust, Zig, C. Java, whatever the language.

All of this is good, but does very little to ensure temporal memory safety.

The allocators can be scoped to manage lifetime and the explicit nature of the memory management in Zig make it hard to miss manage the lifetime of your allocations. It’s not like C/CPP where you have to open the code and check within the function to know if some memory is allocated. There is an “init” function, if it takes an allocator, you know there is memory allocated in it (or the struct, right) so you manage that Allocator for that lifetime instead of managing 'a 'b 'c for each individual variable.

So, basically, you are managing Arenas of variables instead of managing the lifetime of every single, individual variable, one at a time.

What’s cool with that is you can manage the memory differently for each allocation by using a different type of allocator, which give you more control if desired.

Do you want to talk about the covariant, invariant, contravariant and invariant in Rust? Because that’s a hell of a topic to manage the lifetime in Rust. Don’t forget, you have to manage that for /every/single/ variables, one a time. Good luck keeping you sanity in a large project.

You are not helping yourself without those “smart pointers”.

Here is a good talk about what I try to tell you: Individual Element Thinking

Also, Zig has some compile time check in form of compile time assertion, checks based on the variable scopes and the defers in the code…

Temporal memory safety is more complex than just saying “GC or Rust”. You think it is because this is what you know. What I am telling you is, there are other things out there. => Same dude, 5mins, just a couple of examples of other things

And if I might ask, I always find it funny when a Rust programmer shits on a GC, while he’s using Arc every/fucking/where :D

Security goes beyond “smart pointers”. Just think of the fact Rust doesn’t have shared libraries. If there are, I don’t know, let’s say 10 Rust software on my system and there is a vulnerability Because Rust also has that fyi; I would have to know exactly that I have those 10 Rust software on my system, check the dependency tree to see if there are affected by the vulnerability (fucking good luck with that!) and recompile all the ones affected to patch all of them, instead of just recompiling the shared library.

See, that’s an issue Rust people don’t talk about, but that’s a serious issue nonetheless.

Zig has nothing to envy Rust.

Now, let’s talk about the language interop, the simplicity and elegance of the language, the reflection mechanism, the compile time for example…

Rust people think that this golden cage (borrow checker) is all what matter for a language; it’s not the case.