15/12/23 08:28:48.27 +daiOjD/.net
× 実行時に型に関するエラーが発生しないことを保証できる
○ 静的時に型に関する不整合があった時にエラーがわかるからバグを早く修正できる。
（例えば弱か型付けでのC言語などに当てはまる）
× 型さえ合わせればモジュールを安全に結合できる
○ 問題に関する問題が解決するから、より安全に結合できる。（問題の全てが解決するなんて言っていない）
（例えば弱か型付けでのC言語などに当てはまる）
× 型により間違いを検出できるから変更時にデグレしにくい
○ その通り。だが問題の全てが解決するなんて言っていない
（例えば弱か型付けでのC言語などに当てはまる）
静的型付けだと、単体テスト＋型解析によって、
単体テストのみの動的型付けよりも、より安全になる
（完璧など無いから、より安全であることが重要）
何度もいいましたよね？
なんで勝手に解釈を変更するんですか？