読者です 読者をやめる 読者になる 読者になる

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