Nov 28, 2023 in PL 3 min read Y-combinator 与递归 Abstract 介绍了 lambda 演算中的 Y-combinator,主要是希望用抽象的思想来帮助理解 Continue reading