初級ML講座version alpha37

序文

P.1 この文章について

P.2 ライセンス規定

P.3 謝辞

第0章 プログラミングを始める前の予備知識

0.1 プログラム

0.2 プログラミング言語

0.3 処理系

0.4 MLの対話型システム

練習問題

第1章 データの表現

1.1 ビット列

1.2 型

1.3 基本型のデータをあらわす定数

1.4 組をあらわす定数

練習問題

第2章 データの名前

2.1 識別子

2.2 束縛

2.3 式

2.4 パターン

練習問題

第3章 関数適用

3.1 関数についての基礎知識

3.2 組み込み関数

3.3 演算子

3.4 優先順位と結合規則

練習問題

第4章 関数の定義

4.1 fun宣言

4.2 スコープ

4.3 プログラムのファイル

4.4 演算子の定義

練習問題

第5章 選択

5.1 選択をめぐる基本概念

5.2 組み込み述語

5.3 andalsoとorelse

5.4 if式

5.5 パターンによる選択

練習問題

第6章 再帰

6.1 再帰をめぐる一般的考察

6.2 再帰的な関数

6.3 相互再帰

練習問題

第7章 例外

7.1 例外を発生させる方法

7.2 例外の捕獲

7.3 例外引数

練習問題

第8章 多相型と等値型

8.1 多相型

8.2 等値型

練習問題

第9章 リスト

9.1 リストの構造

9.2 リストと型

9.3 リストの処理

9.4 リストを扱う組み込み関数

練習問題

第10章 高階関数

10.1 高階関数への序曲

10.2 高階関数の作り方

10.3 カリー化

10.4 高階組み込み関数

練習問題

第11章 型の定義

11.1 datatype宣言

11.2 既存の型を利用した型の定義

11.3 引数を受け取る型構成子

11.4 再帰的な型の定義

練習問題

第12章 モジュール

12.1 ストラクチャー

12.2 限定識別子

12.3 open宣言

12.4 ライブラリー

練習問題

第13章 情報隠蔽

13.1 シグネチャー

13.2 シグネチャーによる情報隠蔽

13.3 抽象データ型

練習問題

第14章 モジュールを作り出すモジュール

14.1 プログラムの再利用

14.2 ファンクターの定義

14.3 ファンクター適用

14.4 未定義の型を持つファンクター

練習問題

第15章 手続き型計算モデル

15.1 計算モデル

15.2 参照

15.3 繰り返し

練習問題

第16章 テキストファイル

16.1 ストリーム

16.2 読み込み

16.3 出力

16.4 標準入出力

練習問題

第17章 ベクトルと配列

17.1 ベクトル

17.2 配列

練習問題

第18章 レコード

18.1 レコードの表現

18.2 レコードのパターン

練習問題

第19章 ビット列

19.1 ビット列の操作

19.2 バイナリーファイル

練習問題

第20章 オペレーティングシステム

20.1 ファイルシステム

20.2 コマンドと環境変数

20.3 日付と時刻

練習問題

付録A 練習問題の解答例

付録B Standard ML基本ライブラリーの主要な関数

この付録について

組み込み関数

付録C プログラミング用語英和辞典

参考文献