Как написать взаимно рекурсивные функции в связывании let в SML?

Question

Я хотел бы сделать что-то вроде этого:

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

, где а и Ь чувственные взаимно рекурсивные функции. Однако это дает:

Error: syntax error: replacing AND with SEMICOLON

Есть ли способ сделать это?

Answer 1

Декларация взаимно рекурсивных функций в SML отмечен fun ... and ... блока:

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