| > I think they do have a well-accepted definition [...] [You] shouldn't confuse your dislike for them for the absence of a well-accepted definition that's widely used in computer science literature. Just upthread, you said: > The notions of "strong" and "weak" typing have never been particularly well-defined And the Wikipedia article you cited (https://en.wikipedia.org/wiki/Strong_and_weak_typing) says: > These terms do not have a precise definition The Wikipedia article also says: > A number of different language design decisions have been referred to as evidence of "strong" or "weak" typing. In fact, many of these are more accurately understood as the presence or absence of type safety, memory safety, static type-checking, or dynamic type-checking. Also on Wikipedia (https://en.wikipedia.org/wiki/Type_system): > Languages are often colloquially referred to as "strongly typed" or "weakly typed". In fact, there is no universally accepted definition of what these terms mean. In general, there are more precise terms to represent the differences between type systems that lead people to call them "strong" or "weak". ...which is exactly what I'm saying in this entire thread. It's very strange to me how you seem really seem to want other people to be on board with your particular interpretation of what everybody (even you, 13 hours ago) agrees is not a very well-defined concept. |