如何在SML中的let綁定中編寫相互遞歸函數？

Question

我願做這樣的事情：

fun f() = 
    let 
     fun a() = b() 
    and 
     fun b() = a() 
    in 
    () 
    end 

其中A和B是明智的相互遞歸函數。但是，這給出：

Error: syntax error: replacing AND with SEMICOLON

有沒有辦法做到這一點？在SML的相互遞歸函數

Answer 1

的標誌是由fun ... and ...塊標明：

fun f() = 
  let 
    fun a() = b() 
    and b() = a() (* There is no 'fun' keyword before b() *) 
    in 
    () 
    end