学習の素材は、 関数プログラミング実践入門 この表記は、私見・感想です。 評価戦略と遅延評価 遅延評価は、評価戦略( evaluation strategy ) の一種である。評価戦略とは、与えられた式を計算し結果を得る、つまり 評価( evaluation )を行う時の計算順の決め方のことである。 どう順番で評価をすすめていき、どういう状態になったら評価が停止 / 終了するのかによって、評価戦略が決まる。特に、関数や手続き( 数学的な意味の関数ではなく、命令型言語におけるいわゆる関数 )の引数に対し、評価済み状態にしてから渡すかどうかが着目される。 評価 とは、与えられた式を計算して結果を得ることをいう。 簡約 関数型言語の理論的背景は ラムダ計算 であり、ラムダ計算では 簡約 ( reduction )という変換操作を行うことで評価を進める。簡約とは、ラムダ計算における関数適用の規則で