チュートリアル

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

OCamlチュートリアル

和訳も行われています。最初の一歩からWebシステム開発まで揃っており、OCamlとはどんな言語かを知りたい方にお勧めです。

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

ブラウザ上で動くOCamlインタープリターを使ったチュートリアル(OCamlPro?)

• http://try.ocamlpro.com/

住井先生による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回 すべてのものは関数である

camlspotter氏によるライブラリ解説

• OCaml 標準ライブラリ探訪 #0
• OCaml 標準ライブラリ探訪 #1: Pervasives: 最も使われてるのに最も名前が知られていない奴
• OCaml 標準ライブラリ探訪 #1.1 Pervasives 補遺
• OCaml 標準ライブラリ探訪 #1.2 Pervasives 補遺
• OCaml 標準ライブラリ探訪 #2 List : スタックと計算量に注意
• OCaml 標準ライブラリ探訪 #2 List に関するおわびとおことわり
• OCaml 標準ライブラリ探訪 #3.0: Printf: 便利だけどいろいろ謎のある奴

C/C++ などの手続き型言語を学んだことのある人を対象にした、簡単な入門記事です。

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