{static,dynamic} {weak,strong} typing

CとかMLとかSchemeとか、Wikipediaではプログラミング言語の右のほうに特徴をまとめた表があって、「Typing discipline: static, strong」とか書いてあることに気づいた。static/dynamic（静的・動的）、strong/weak（強い・弱い）の定義はたまに混乱があるようですが、たとえば

http://en.wikipedia.org/wiki/Type_system
http://d.hatena.ne.jp/sumii/20051018/1129631080

あたりをば。あれ、Pascalはvariant recordがunsafeなので、static weak typingではなかったっけ…？　最近のコンパイラでは動的にチェックされるのか？