Contents

• Chapter�1��
  • 1.1��関数型言語 ML と Objective Camlについて
    • 1.1.1��ML・Objective Caml の特徴
  • 1.2��参考書，資料，マニュアル
  • 1.3��環境設定
• Chapter�2��
  • 2.1��インタラクティブコンパイラを使う
    • 2.1.1��簡単な使い方
    • 2.1.2��その他: ファイルからのプログラムの読み込み・コメント
  • 2.2��基本データ型とその演算
    • 2.2.1��unit型
    • 2.2.2��int型
    • 2.2.3��float型
    • 2.2.4��char型
    • 2.2.5��string型
    • 2.2.6��bool型
    • 2.2.7��型システムと安全性
    • 2.2.8��練習問題
  • 2.3��変数の束縛
    • 2.3.1��let 宣言
    • 2.3.2��環境と静的有効範囲
    • 2.3.3��練習問題
  • 2.4��関数宣言
    • 2.4.1��練習問題
• Chapter�3��再帰的関数定義
  • 3.1��局所変数とlet式
    • 3.1.1��練習問題
  • 3.2��構造のためのデータ型: 組
    • 3.2.1��組を表す式
    • 3.2.2��パターンマッチと要素の抽出
    • 3.2.3��組を用いた関数
    • 3.2.4��練習問題
  • 3.3��再帰関数
    • 3.3.1��簡単な再帰関数
    • 3.3.2��関数適用と評価戦略
    • 3.3.3��末尾再帰と繰り返し
    • 3.3.4��より複雑な再帰
    • 3.3.5��相互再帰
    • 3.3.6��練習問題
• Chapter�4��高階関数，多相性，多相的関数
  • 4.1��高階関数
    • 4.1.1��関数を引数とする関数
    • 4.1.2��匿名関数
    • 4.1.3��カリー化と関数を返す関数
    • 4.1.4��Case Study: Newton-Raphson法
    • 4.1.5��練習問題
  • 4.2��多相性
    • 4.2.1��let多相と値多相
    • 4.2.2��多相型と型推論
    • 4.2.3��Case Study: コンビネータ
    • 4.2.4��練習問題
• Chapter�5��再帰的多相的データ構造: リスト
  • 5.1��リストの構成法
  • 5.2��リストの要素へのアクセス: match式とリストパターン
  • 5.3��リスト操作の関数
  • 5.4��Case Study: ソートアルゴリズム
  • 5.5��練習問題
• Chapter�6��レコード型/ヴァリアント型とその応用
  • 6.1��レコード型
  • 6.2��ヴァリアント型
  • 6.3��ヴァリアント型の応用
  • 6.4��Case Study: 二分木
  • 6.5��Case Study: 無限リスト
  • 6.6��練習問題
• Chapter�7��参照，例外処理，入出力
  • 7.1��参照、更新可能レコードと配列
    • 7.1.1��参照
    • 7.1.2��更新可能レコード
    • 7.1.3��配列
    • 7.1.4��多相性と参照
    • 7.1.5��Case Study: オブジェクト指向風プログラミング
  • 7.2��制御構造
  • 7.3��例外処理
    • 7.3.1��exception 宣言とraise 式
    • 7.3.2��例外の検知
  • 7.4��チャネルを使った入出力
  • 7.5��Objective Caml の文法について補足
  • 7.6��練習問題
• Chapter�8��単純なモジュールとバッチコンパイル
  • 8.1��ライブラリモジュールの使い方
  • 8.2��モジュール・インターフェース
  • 8.3��バッチコンパイラによる実行可能ファイルの生成