作者linjack (嗯)
看板PLT
标题[问题] fixed point combinator
时间Thu Mar 25 17:55:49 2010
不知道这问题算不算程式语言相关的讨论 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)