[问题] fixed point combinator

楼主: linjack (嗯)   2010-03-25 17:55:49
不知道这问题算不算程式语言相关的讨论 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 就是这样子呢...?

Links booklink

Contact Us: admin [ a t ] ucptt.com