Comment Comment by catnaroek A more useful term is “sound”: does the type system protect the language's basic abstractions?(0) Standard ML: Yes.(1) Java: No, but dynamic checks are used to patch the type soundness holes.(2) C: No, and if you do anything wrong, may God help you. parent catnaroek 10 years ago
(0) Standard ML: Yes.
(1) Java: No, but dynamic checks are used to patch the type soundness holes.
(2) C: No, and if you do anything wrong, may God help you.