Wie schreibe ich gegenseitig rekursive Funktionen innerhalb einer Let-Bindung in SML?

Question

Ich möchte so etwas wie dies tun:

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

wobei a und b Funktionen sinnvoll für beide Seiten rekursiv sind. Jedoch gibt dies:

Gibt es eine Möglichkeit, dies zu tun?

Answer 1

Erklärung gegenseitig rekursive Funktionen in SML wird von einem fun ... and ... Block markiert:

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