Làm thế nào để viết các hàm đệ quy hai bên trong một lệnh ràng buộc trong SML?

Question

Tôi muốn làm điều gì đó như thế này:

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

nơi a và b là hợp lý chức năng hai bên đệ quy. Tuy nhiên, điều này cho:

Error: syntax error: replacing AND with SEMICOLON

Có cách nào để thực hiện việc này không?

Answer 1

Tuyên bố của các chức năng hai bên đệ quy trong SML được đánh dấu bằng một khối fun ... and ...:

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