Re:My most common code review suggestions
by dozzie on Thursday December 07, 2017 @06:50AM
(#15869273)
No, not really. Even though there's no good definition what "strong" and
"weak" means, it was always meant as a totally different axis than
static/dynamic typing. C is weakly typed, OCaml is strongly typed. Both are
typed statically.
Re:My most common code review suggestions
by catnaroek on Thursday December 07, 2017 @06:56AM
(#15869309)
A type soundness theorem is always of the form “a well-typed program never does such and such”. It relates the static semantics (type checking) to the dynamic semantics (operational semantics) of a programming language.
It doesn't make any sense to talk about soundness for dynamic languages, because there's no static semantics to relate to the dynamic semantics.
Going with the example of a sound type system, a language could have a sound type system that does the actual checking at runtime.