1.3.4 値として返される手続き
第一級(first-class)身分を持つという. 第一級要素の「権利と特権」は
- 変数として名前がつけられる
- 手続きに引数として渡せる
- 手続きの結果として返される
- データ構造に組み込める
2 データによる抽象の構築
- データオブジェクトを組み合せ, 合成データ(compound data)を作って抽象を構築する機能
- 合成データオブジェクト
- データ抽象
- 適切な 抽象の壁
- 公認インターフェース
- 記号式
- 汎用演算
- データ主導プログラミング
2.1 データ抽象入門
- データ抽象
- インターフェイスは選択子と構成子というひとくみの手続き
