¿Cómo escribir funciones mutuamente recursivas dentro de un enlace de escritura en SML?

Question

me gustaría hacer algo como esto:

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

donde a y b son sensibles funciones mutuamente recursivas. Sin embargo, esto da:

Error: syntax error: replacing AND with SEMICOLON

¿Hay alguna manera de hacer esto?

Answer 1

Declaración de funciones mutuamente recursivas en SML está marcada por un bloque fun ... and ...:

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