Jak pisać funkcje rekurencyjne nawzajem w ramach wiązania let w SML?

Question

chciałbym zrobić coś takiego:

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

gdzie a i b są sensowne funkcje wzajemnie rekurencyjne. Jednakże daje to:

Error: syntax error: replacing AND with SEMICOLON

Czy jest jakikolwiek sposób to zrobić?

Answer 1

Deklaracja funkcji wzajemnie rekurencyjnych w SML jest oznaczony przez fun ... and ... bloku:

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