从零开始烘焙Y组合子：第一部分—不动点组合子

本文深入探讨了Y组合子，一种在不允许多次自我引用的函数式语言中实现递归的数学结构。文章首先解释了不动点概念，然后逐步推导Y组合子的公式，并解释了其自复制机制。通过对Ω组合子的分析，作者阐明了Y组合子如何通过运行时自我复制来避免无限嵌套。文章还简要介绍了λ演算和形式系统，为后续深入理解Y组合子奠定基础。