返回在ML

Question

一個遞歸函數我怎樣才能返回ML遞歸函數？

據我所知，遞歸匿名函數不能返回，只有匿名函數 可以用作返回值（如果返回值是函數...）。

Answer 1

這會是你想知道的類的實例？

fun f n = 
    let 
     fun g k = 
     if k = n then [] else k :: g (k-1) 
    in 
     g 
    end 

您只能通過命名它使一個遞歸定義，但是這不是一個問題，因爲你可以在任何地方寫let表達。

更新更具體地回答評論：

fun f g = 
    let 
     fun h 0 = g 0 
     | h i = h (i-1) + g i 
    in 
     h 
    end 

（更有效的實現將使h尾遞歸。）