静的に型検査できる余地が多いから
C#が動的型より安全と言ったんだから、
C#よりも静的に型安全なOcaml使いにC#を批判されたら
それを認めないとダメだな。矛盾してる。