Next: 3 Funarg問題(Function Argument Problem)
Up: ソフトウェア第三 講義資料 クロージャ，スコープ，遅延評価，オブジェクト，立体モデル
Previous: 1.2 関数の戻り値として返す手続き
プログラム言語において制限のほとんどない計算要素は第一級(first-class)
身分をもつといわれる．英国の計算機科学者Christopher
Strachey(1916-1975)により提案された．第一級身分というのは，
- 変数として名前が付けられる
- 手続きに引数として渡せる
- 手続きの結果として返される
- データ構造に埋め込める
という権利を与えられているものである．
手続きをデータとして扱うことができれば，手続きの引数として手続きを渡したり，
手続きの結果として手続きを返すことが可能となる．
Lispは，他の通常の言語とちがって，手続きに完全な第一級身分を与える．
そのため効率のよい実装は難しくなっているが，表現力として得たものは
大変大きい．
generated through LaTeX2HTML. M.Inaba 平成18年5月7日