叫做Y组合子。它是Haskell B. Curry发现的，定义为注意Y组合子意图用于传名求值策略，因为 (Y g)在传值设置下会发散（对于任何g）。
不动点组合子的存在性.在数学的特定形式化中，比如无类型lambda演算和组合演算中，所有表达式都被当作高阶函数。在这些形式化中，不动点组合子的存在性意味着“所有函数都至少有一个不动点”，函数可以有多于一个不同的不动点。在其他系统中，比如简单类型lambda演算，不能写出有良好类型（well-typed）的不动点组合子。在这些系