動的型付けは動的検査
「動的型付け」という言葉の使い方は間違っていると考える研究者もいる。
代わりに動的検査されるという表現を提案しているが、普及してない。
https://gyazo.com/6f012fe96057746ab035ae366d4ea35c
型システム入門 p.2