2006-06-27 型推論のありがたさ 久々にCでプログラミングしたのですが、もうSegmentation Faultで落ちる落ちる。OCamlの「コンパイルできれば絶対に落ちない」という性質はありがたいなあ。不健全な型推論は使い物にならないかも。