599 B
599 B
title, type, tags
| title | type | tags |
|---|---|---|
| Y Combinator | concept |
Definition
Y 不动点组合子（Y Combinator），λ 表达式为：Y ≡ λf.(λx.f(x,x))(λx.f(x,x))。用于在 λ-calculus 中表达递归。
Context
在递归自优化生成系统的 λ-calculus 形式化中，Y 组合子用于表达稳定生成器的自引用本质：
- STEP ≡ λG. (M G) ((O (G I)) Ω)
- G* ≡ Y STEP
这使得生成器被定义为转换生成器的函数的不动点，显式表达了自引用性质。