Re:Strong typing, a hill I'm willing to die on
by gpderetta on Wednesday October 04, 2023 @12:21PM
(#37767430)
That's the definition of type-safety (or memory safety that is pretty much equivalent). "strong typing" has no generally accepted definition.
[ Parent
| on HN ]
Re:Strong typing, a hill I'm willing to die on
by bigstrat2003 on Wednesday October 04, 2023 @06:51PM
(#37772828)
Memory 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.