Lispは / Rubyは / Cは,とりあえずやっつけで型付けできないコードでも動かしてしまえるところが良い!という話は良く聞くし,まあもっともかもしれないとも思うんだけど,OCamlだってObj.magicとかassert falseとかすれば,多少の型の不一致はむりやり通してしまえるよなぁ,と思った.いやまあ,そういう問題じゃなくて,というのはわかりますけど.