> > The implication is that memory-safe languages do not have memory leaks, which is completely false. > There's no such implication, only that memory-unsafety

> > The implication is that memory-safe languages do not have memory leaks, which is completely false. > There's no such implication, only that memory-unsafety leads to memory leaks, which is true. If we're going to read in the spirit of "looking for a way to read things that make sense rather than going out of your way to find a way to read it that makes it false"... Then it depends which sort of implication. https://en.wikipedia.org/wiki/Implicature https://en.wikipedia.org/wiki/Implicature