It'd be very interesting to see an OO language that passes around allocators like zig does. There is definitely nothing in the concept itself that stops that.
arena allocators are necessity for high performance software, because heap allocations are magnitude slower.