チュートリアル

• OCaml入門(1)　インタプリタ起動から関数定義・再帰まで。
• OCaml入門(2)　部分適用やパターンマッチについて。
• OCaml入門(3)　レコード、バリアント、参照、例外。
• OCaml入門(4)　多相バリアントについて。

また、有志の方々によって書かれた優れたチュートリアルがあり(ocaml-tutorial.org)、和訳も行われています。最初の一歩からWebシステム開発まで揃っており、OCamlとはどんな言語かを知りたい方にお勧めです。

• OCamlチュートリアル(日本語)
• OCamlチュートリアル(英語)

住井先生によるITProのOCaml紹介記事

• 第1回　OCamlを試してみる
• 第2回　「単一代入」と「末尾再帰」
• 第3回　計算量の工夫でプログラムは劇的に速くなる
• 第4回　関数型言語とオブジェクト指向，およびOCamlの"O"について
• 第5回　LablGLで3Dグラフィックス 〜OCamlの「多相バリアント」と「ラベル付き引数」〜
• 第6回　OCamlの「モジュール・システム」
• 第7回　「代数データ型」でいろいろなデータを表してみる
• 第8回　独自のプログラミング言語を開発してみよう（その1）
• 第9回　独自のプログラミング言語を開発してみよう（その2）　プログラムを実行できるようにする
• 第10回　静的スコープと関数クロージャ〜関数型言語のインタプリタを書いてみる〜
• 第11回　クロージャによる超軽量並行プロセスの簡単実装法
• 第12回 「型推論」の実装法
• 第13回 「表明」と「契約」による命令型プログラムの形式的検証
• 第14回 型＝命題，プログラム＝証明
• 第15回 型からプログラムを当てる
• 第16回 すべてのものは関数である