【.NET】F#について語れ【OCAML】

【.NET】F#について語れ【OCAML】 at TECH

455:デフォルトの名無しさん
09/02/14 17:13:10
関数は first-class object ではあっても
関数 = 値ではない、と

―ここで正格評価において

let rec fix f = f (fix f) なる定義で fix g を評価しようとしたら？
必死こいて値を算出しようとしてしまうんだな
で、その結果、>>453 が示すように無限ループに陥る

let rec fix f x = f (fix f) x なる定義で fix g 　を評価しようとしたら？
これは部分適用だから関数オブジェクトの生成を行うのだな
で、後々、(fix g) y とされたときに値の算出が始まる

次ページ

続きを表示

1を表示