※ 引述《linjack (嗯)》之铭言： : 不知道这问题算不算程式语言相关的讨论 QQ (lambda calculus?) : 这问题可能很蠢，不过我还是想问 : fixed point combinator 可产生一个 function 的 fixed point : 那麽若我知道 cos 的 fixed point 在 0.73908513321516067 : 有无一个 combinator 可以使得 Y(cos) = 0.73908513321516067 ? : 就我粗浅的了解 fixed point combinator 产生的都是一个 : "fixed point function"，不过它有可能不是 function 吗？ : 还是这是 by definition 就是这样子呢...? 无此 combinator, 因为 fixed point combinator 指的是 least fixed point, 而 cos(⊥)=⊥ 所以 cos 的 least fixed point 为 ⊥ 而非 0.739... 所以 Y(cos)=⊥ 更一般地来说，若 f(⊥)=⊥ 则 Y(f)=⊥ 如此的f 称为strict function -- ▼ 单中杰．[email protected]．善终结 ▼ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 76.15.246.94