[問題] fixed point combinator

看板PLT (程式語言與理論)作者 (嗯)時間14年前 (2010/03/25 17:55), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串1/2 (看更多)
不知道這問題算不算程式語言相關的討論 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 就是這樣子呢...? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 203.72.57.78 ※ 編輯: linjack 來自: 203.72.57.78 (03/25 17:57)
文章代碼(AID): #1BgpCek_ (PLT)
討論串 (同標題文章)
文章代碼(AID): #1BgpCek_ (PLT)