09/02/12 07:21:21
>>445
冗長なんじゃなくて、正格評価の世界では意味が全く別のものになる。
let rec fix = fun f -> f (fix f)
let rec fix = fun f -> fun x -> f (fix f) x
後者では x が遅延の役割をしてくれる。
Haskellのような遅延評価の世界では、確かに冗長なだけ。
09/02/12 07:21:21
>>445
冗長なんじゃなくて、正格評価の世界では意味が全く別のものになる。
let rec fix = fun f -> f (fix f)
let rec fix = fun f -> fun x -> f (fix f) x
後者では x が遅延の役割をしてくれる。
Haskellのような遅延評価の世界では、確かに冗長なだけ。