Come scrivere le funzioni reciprocamente ricorsive all'interno di un binding let in SML?

Question

vorrei fare qualcosa di simile:

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

dove a e b sono sensibili funzioni ricorsive reciprocamente. Tuttavia, questo dà:

Error: syntax error: replacing AND with SEMICOLON

C'è un modo per fare questo?

Answer 1

Dichiarazione di funzioni mutuamente ricorsive in SML è segnato da un fun ... and ... blocco:

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