) console.log(fact(5)) //120// 既然不讓這個函數(shù)有名字，我們就先給這個遞歸方法一個叫做self的代號// 首先是一個接受這個遞歸函數(shù)作為參數(shù)的一個高階函數(shù)const fact_gen = (self) => (n) => n<=1?1:n*self(n-1) console.log(fact_gen(fact)(5)) //120// 我們是將遞歸方法和參數(shù)n，都傳入遞歸方法，得到這樣一個函數(shù)const fact1 = (self, n) => n<=1?1:n*self(self, n-1) console.log(fact1(fact1, 5)) //120// 我們將fact1 柯理化，得到fact2const fact2 = (self) => (n) => n<=1?1:n*self(self)(n-1) console.log(fact2(fact2)(5)) //120// 驚喜的事發(fā)生了，如果我們將self(self)看做一個整體// 作為參數(shù)傳入一個新的函數(shù): (g)=> n<= 1? 1: n*g(n-1)const fact3 = (self) => (n) => ((g)=>n <= 1?1:n*g(n-1))(self(self)) console.log(fact3(fact3)(5)) //120// fact3 還有一個問題是這個新抽離出來的函數(shù)，是上下文有關(guān)的// 他依賴于上文的n, 所以我們將n作為新的參數(shù)// 重新構(gòu)造出這么一個函數(shù): (g) => (m) => m<=1?1:m*g(m-1)const fact4 = (self) => (n) => ((g) => (m) => m<=1?1:m*g(m-1))(self(self))(n) console.log(fact4(fact4)(5))// 很明顯fact4中的(g) => (m) => m<=1?1:m*g(m-1) 就是 fact_gen// 這就很有意思啦，這個fact_gen上下文無關(guān)了, 可以作為參數(shù)傳入了const weirdFunc = (func_gen) => (

 5/8   首頁 上一頁 3 4 5 6 7 8 下一頁 尾頁