Irfanali

Poor Man's Time Machine: Lazy Evaluation in Haskell and JavaScript

无 let、无递归、无烦恼：Y组合子与Z组合子的温和入门指南

一篇用JavaScript台阶式推导Y组合子与Z组合子的技术博文，从"不用循环、递归和声明写阶乘"的智力谜题出发，通过多个失败的尝试（直接递归、互递归、间接自引用）逐步逼近核心思路，最终用匿名函数构造出自复制机器和不动点组合子，并解释为何JavaScript中需要Z而非Y来绕过eager evaluation的限制。作者有强烈的个人教学风格，全篇基于具体代…