3 ms·
That's the definition of type-safety (or memory safety that is pretty much equivalent). "strong typing" has no generally accepted definition.
by gpderetta 3y ago
That's the definition of type-safety (or memory safety that is pretty much equivalent). "strong typing" has no generally accepted definition.
- bigstrat2003 3y agoMemory safety is definitely not equivalent. Memory safety is more like not going past the end of an array, not doing use after free, etc. I agree that what I said is pretty much also the definition of type safety. But in my experience it is also the generally accepted definition of strong typing.