Re:Borrow Checking, RC, GC, and Eleven Other Memory Safety A...
by DanielHB on Thursday December 19, 2024 @08:43AM
(#42461290)
> 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.
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.