Re: [問題] fixed point combinator
※ 引述《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
推
03/26 12:56, , 1F
03/26 12:56, 1F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
