※ 引述《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