Objective Caml 入門

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

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