型推論のありがたさ

久々にCでプログラミングしたのですが、もうSegmentation Faultで落ちる落ちる。OCamlの「コンパイルできれば絶対に落ちない」という性質はありがたいなあ。

不健全な型推論は使い物にならないかも。