静的型はコンパイルさえできれば型の問題はないことが保証される。
動的型は型のチェックをちまちま書いてテストして型の問題が
見つからないことが確認できるだけ。業務では使えないよ。