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