推 linjack:thanks a lot <(_ _)> 03/26 12:56
※ 引述《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
--
▼ 單中杰．ccshan@post.harvard.edu．善終結 ▼
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 76.15.246.94