Chapter 3. MLプログラミング入門
SML#言語は，Standard ML言語と後方互換性のあるプログラミン グ言語です． SML#の高度な機能を使いこなすために，本章でまず，Standard MLプログラミングの基礎を学びましょう．
Contents
- §3.1 ML言語について
- §3.2 宣言的プログラミング
- §3.3 式の組み合わせによる計算の表現
- §3.4 定数式と組込み関数
- §3.5 bool型と条件式
- §3.6 複雑な式と関数
- §3.7 再帰的な関数
- §3.8 複数の引数を取る関数
- §3.9 関数適用の文法
- §3.10 高階の関数
- §3.11 高階の関数の利用
- §3.12 MLにおける手続き的機能
- §3.13 変更可能なメモリーセルを表す参照型
- §3.14 作用順，左から右への評価戦略
- §3.15 手続き的制御
- §3.16 ループと末尾再帰関数
- §3.17 let式
- §3.18 リストデータ型
- §3.19 式の組み合わせの原則
- §3.20 多相型を持つ関数