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

型推論のありがたさ

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

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