※ 引述《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