看板 [ PLT ]
討論串[問題] fixed point combinator
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] fixed point combinator
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者linjack (嗯)時間14年前 (2010/03/25 17:55), 編輯資訊
1
0
0
內容預覽:
不知道這問題算不算程式語言相關的討論 QQ (lambda calculus?). 這問題可能很蠢，不過我還是想問. fixed point combinator 可產生一個 function 的 fixed point. 那麼若我知道 cos 的 fixed point 在 0.739085133
(還有137個字)
#2
Re: [問題] fixed point combinator
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者ccshan (善終結)時間14年前 (2010/03/26 11:55), 編輯資訊
0
0
0
內容預覽:
無此 combinator, 因為 fixed point combinator 指的是 least fixed point,. 而 cos(⊥)=⊥ 所以 cos 的 least fixed point 為 ⊥ 而非 0.739.... 所以 Y(cos)=⊥. 更一般地來說，若 f(⊥)=⊥ 則
首頁
上一頁
1
下一頁
尾頁