- 217 名前：デフォルトの名無しさん mailto:sage [2015/12/19(土) 02:55:03.23 ID:APSLa6hA.net]
- 動的型の「できる」っていうのは、ローカル変数など
大概狭い範囲での話なんだよね。
どちらかと言えば、狭い範囲のものは、その場所だけ
注意してみればいいからそこまで必要ない。
静的型の型チェックが便利なのは、広い範囲の依存関係の矛盾を暴き出すことだから
こういうのは単体テストが主である自動テストではテストがしづらい部分。
つまり、関数の引数とかクラスの継承関係とかオブジェクトのメソッドとか
そういう「インターフェース」に関わる部分の矛盾のテストができる。
