Are the languages with a sound type system a sub set of strongly typed languages? [closed]

问题

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.

Closed 9 years ago.

Are the languages with a sound type system a sub set of strongly typed languages?

回答1:

What is a sound type system? Do you consider static typing more "sound" than dynamic typing? Does weak typing imply the type system being "unsound"? Do you consider C or C++ to be weakly typed because they allow for a number of ad hoc type conversions?

Lua is weakly typed, but the types provided make for asonishing power. Soundness lies in the eye of the beholder.

来源：https://stackoverflow.com/questions/3915272/are-the-languages-with-a-sound-type-system-a-sub-set-of-strongly-typed-languages