On: Vale's first prototype for immutable region borrowing

[sirwhinesalot]

Yeah typed allocator would be my guess but those aren't zero cost either. They increase memory usage since if your program allocate an array of 100 ints, delete them, and then allocate an array of 100 floats, unless you allocate more ints on the heap that memory isn't getting reused.

[flohofwoe → sirwhinesalot]

The physical memory could be reused, only the virtual address range is "burned" (don't know if it actually works that way though)