> It is deterministic and zero-overhead I wouldn't say zero-overhead. I would say O(1) overhead in the best case, and equivalent to C-style manual memory manag

> It is deterministic and zero-overhead I wouldn't say zero-overhead. I would say O(1) overhead in the best case, and equivalent to C-style manual memory management in the typical (which again isn't zero-overhead and isn't even necessarily always O(1) overhead with heavy allocation and deallocation). But, yes, it isn't GC'd with the attendant challenges GC poses (or benefits it brings).