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

>>阅读原文<<