読書メモ ・「入門OCaml 〜プログラミング基礎と実践理解」 ・Objective Caml。 ・プログラムの整合性を確かめる型推論という仕組みでバグを未然に防げる。 ・プログラムの正しさを確認するツールとなる。 ・コードの再利用が安全になる。 ・型付き関数型言語は企業にも利用が始まっている。 ・Winows、Mac OSX、Unix系OSでも使用可能。 ・Webアプリも作成できる。 ・MySQLとの連携。 ・CGIアプリの開発。 ・Webサーバとの連携。 ・マルチスレッドプログラミングも可。 ・Coq: Ocamlで書かれた定理証明器。数学的な定理を証明するための支援ツール。C言語のコンパイラの正しさなどが証明されている。 ・OUnit：Ocaml用の単体テストフレームワーク。 ・本書のHP: http://book.mycom.co.jp/support/bookmook/ocaml/ |