Y-Combinator不一样语言实现方案

递归和定点 纯λ演算的一大特点是能够经过使用一种自应用技巧来书写递归函数。javascript f(n) = if n = 0 then 1 else n*f(n-1) f = λn.if n = 0 then 1 else n*f(n-1) 把f移到等式的后面，获得函数Ghtml G = λf.λn.if n = 0 then 1 else n*f(n-1) 很显然有：java f = G(f

>>阅读原文<<