回覆中加入附件並不會使你增加積分,請使用主題方式發佈附件。
本帖最後由 CoNsTaRwU 於 2016-11-20 08:54 PM 編輯
所有的迴圈都可以規約成遞迴
在 λcalculus 裡是用 Y-combinator 和 Z-combinator 來做到 generic recurrsion 的,可以參考
簡單一點的說法,要是一個函數的參數和回傳值具有全序關係(序理論中的),而且總是其中一方大於/小於另一方,則這個函數可以被用作遞迴
或者是你能夠找到這個函數的 fixed-point,這個函數也同樣能夠用作遞迴 ... |