Re:Conc: Better Structured Concurrency for Go
by preseinger on Wednesday January 11, 2023 @06:26PM
(#34346580)
Well, memory safety is not a boolean, it's a property that's defined by the memory model of the language. That model also defines the impact of a violation.
On a memory safe language, the blast radius is potentially much smaller (in principle all objects transitively reachable from the failure point, but this is very pessimistic), so it is realistic to be able to isolate the failure in process.