「動的型付け」という言葉の使い方は間違っていると考える研究者もいる。

代わりに動的検査されるという表現を提案しているが、普及してない。

型システム入門 p.2