Objective Caml 入門
五十嵐 淳
京都大学 工学部情報学科計算機科学コース
大学院情報学研究科知能情報学専攻
e-mail:
igarashi@kuis.kyoto-u.ac.jp
September�24, 2007
Contents
はじめに
関数型言語 ML と Objective Camlについて
参考書，資料，マニュアル
環境設定
基本データ型，変数の宣言，簡単な関数
インタラクティブコンパイラを使う
基本データ型とその演算
変数の束縛
関数宣言
再帰的関数定義
局所変数と
let
式
構造のためのデータ型: 組
再帰関数
高階関数，多相性，多相的関数
高階関数
多相性
再帰的多相的データ構造: リスト
リストの構成法
リストの要素へのアクセス:
match
式とリストパターン
リスト操作の関数
Case Study: ソートアルゴリズム
練習問題
レコード型/ヴァリアント型とその応用
レコード型
ヴァリアント型
ヴァリアント型の応用
Case Study: 二分木
Case Study: 無限リスト
練習問題
参照，例外処理，入出力
参照、更新可能レコードと配列
制御構造
例外処理
チャネルを使った入出力
Objective Caml の文法について補足
練習問題
単純なモジュールとバッチコンパイル
ライブラリモジュールの使い方
モジュール・インターフェース
バッチコンパイラによる実行可能ファイルの生成
This document was translated from L
A
T
E
X by
H
E
V
E
A
.