>>759
CLとSTの両方とも動的型付けだというのは偶然ではないと思うぞ。
OCamlのような実行時型情報を持たない言語/処理系で
実行中に修正して継続実行することは非常に困難であり、
かつ、型の制約が強すぎて修正できる部分は非常に限定される。
修正前後での型の一貫性を保てない修正ができないから。

以上の理由から、動的型付けの利点と言っていいと思うが、どうよ？