>>465
>Int 型を戻り値とする関数の中で
>副作用がある処理はできないという事

なるほど、これは分かる。関数型だからね。
しかしそれなら、Cでもコンパイラでチェックしようとすればできることだ。
むしろmainの方が本質的なのか?