• Table of Contents
• はじめに
  • 関数型言語 ML と Objective Camlについて
  • 参考書，資料，マニュアル
  • 環境設定
• 基本データ型，変数の宣言，簡単な関数
  • インタラクティブコンパイラを使う
  • 基本データ型と演算
  • 変数の束縛
  • 関数宣言
• 再帰による繰り返し
  • 局所変数とlet式
  • 構造のためのデータ型: 組
  • 再帰関数
• 高階関数，多相性，多相的関数
  • 高階関数
  • 多相性
• 再帰的多相的データ構造: リスト
  • リストの構成法
  • リストの要素へのアクセス: match式とリストパターン
  • リスト操作の関数
  • Case Study: ソートアルゴリズム
  • 練習問題
• レコード型/ヴァリアント型とその応用
  • レコード型
  • ヴァリアント型
  • ヴァリアント型の応用
  • Case Study: 二分木
  • Case Study: 無限リスト
  • 練習問題
• 参照，例外処理，入出力
  • 参照、更新可能レコードと配列
  • 制御構造
  • 例外処理
  • チャネルを使った入出力
  • Objective Caml の文法について補足
• 単純なモジュールとバッチコンパイル
  • ライブラリモジュールの使い方
  • バッチコンパイラによる実行可能ファイルの生成
• References

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.