自分は最初っから、>>419でも>>439でも実行時に型情報がいらない言語OCamlについて話をしていたんだけどな。
JavaもC#も不正なキャストを許す型システムを採用していて、型が保証する安全性は小さいが、
こいつらに当てはまる問題点が静的型付け全部にあるわけじゃない。
それを分かっているくせに今度はCの問題点を静的型付け全般に言及しようとする？卑怯な言い分は変わらないのな。

逆に、静的型付けとひとくくりにして優位性を主張し、動的型付けを無理矢理に貶めようとする卑怯者もいるから面倒。
静的解析の優位性とか型システムが提供する安全性なんて、言語によって大きく違うのにな。
IdrisやCoqやAgdaはテストすら要らないくらいの安全性を持ってるけど、それを静的型付け全部の性質にしちゃ駄目だよな。

だから自分はOCamlやれって言ってる。
静的型付けで型システムが強力で実行時に型エラーが起きない&オブジェクト指向をサポートしている言語だから。
やればオブジェクト指向と関数型は決して対立軸にはならないことが分かるから。