関数型言語
Last updated
Unknown
Edit Source
なぜ関数プログラミングは重要か
Haskell, Lisp, OCamlとか
あるデーターからどのようなデーターを「生成」するかに注目するもの
- それ以外の手続き型言語/命令型言語とかだと、どう「加工」するかに注目してる理想的な構成要素 (PCF)
基本的なデーターとその演算
変数
条件分岐
関数の定義
関数の使用
プログラムをグラフとして表せる
- 値、分岐、演算子、関数はグラフの頂点として表す
- 変数は点として表す
いくつかのルールがある
- 基本は深さ優先探索
- 箱にぶつかったら、一度引き返す
- 変数はぶつかったら、それに繋がってる全てに具体化して値を与える