> Memory safety is the elephant in the room. A garbage collector is more or > less a workaround, but not a solution.
I would put it differently: Memory safety is fine with a GC but its an expensive, complex runtime component and we should strive to find simpler solutions. By moving the complexity into the compiler, not the runtime, or by improving the tooling. Or even by using different programming patterns, a mutable heap full of pointer aliasing is hard for software verification.
