動的型付けは動的検査

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

• 代わりに動的検査されるという表現を提案しているが、普及してない。
• 
  • 型システム入門 p.2