3 ms·
> that other systems don't have this assurance My understanding is that most (all?) GC languages are memory safe, but do not ensure statically verifiable threa
by DanielHB 2y ago
> that other systems don't have this assurance
My understanding is that most (all?) GC languages are memory safe, but do not ensure statically verifiable thread safety at all. Like Java, Go, C#, Python, etc.