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