> Zig for example does it right by having explicit allocators from the start

Odin has them, too, optionally (and usually).