self) => (n) => func_gen(self(self))(n) console.log(weirdFunc(fact_gen)(weirdFunc(fact_gen))(5)) //120// 此時我們就得到了一種Y組合子的形式了const Y_ = (gen) => (f) => (n)=> gen(f(f))(n)// 構(gòu)造一個階乘遞歸也很easy了const factorial = Y_(fact_gen) console.log(factorial(factorial)(5)) //120// 但上面這個factorial并不是我們想要的// 只是一種fact2,fact3,fact4的形式// 我們肯定希望這個函數(shù)的調(diào)用是factorial(5)// 沒問題，我們只需要把定義一個 f' = f(f) = (f)=>f(f)// eg. const factorial = fact2(fact2)const Y = gen => n => (f=>f(f))(gen)(n) console.log(Y(fact2)(5)) //120 console.log(Y(fact3)(5)) //120 console.log(Y(fact4)(5)) //120

推導(dǎo)到這里，是不是已經(jīng)感覺到脊背嗖涼了一下，反正筆者我第一次接觸在 康托爾、哥德爾、圖靈——永恒的金色對角線 這篇文章里接觸到的時候，整個人瞬間被這種以數(shù)學(xué)語言去表示程序的方式所折服。

來，我們回憶下，我們最終是不是得到了一個不定點算子，這個算子可以找出一個高階函數(shù)的不動點 f(Y(f)) = Y(f) 。 將一個函數(shù)傳入一個算子(函數(shù))，得到一個跟自己功能一樣，但又并不是自己的函數(shù)，這個說法有些拗口，但又味道十足。

好了，我們回到最初的問題，怎么完成匿名函數(shù)的遞歸呢？有了Y組合子就很簡單了：

/*求不動點*/(f => f(f))/*以不動點為參數(shù)的遞歸函數(shù)*/(fact => n => n <= 1 ? 1 : n * fact(fact)(n - 1)) /*遞歸函數(shù)參數(shù)*/ (5)// 120
 6/8   首頁 上一頁 4 5 6 7 8 下一頁 尾頁