On: Group Borrowing: Zero-cost memory safety with fewer restrictions

[mrkeen]

> Also it seems that it requires locking?

STM requires locking in the same way that GC requires malloc. It gets it right so that the programmer doesn't mess it up.

[astrange → mrkeen]

A non-compacting GC still needs a good malloc because it needs to avoid heap fragmentation.