在OCaml中的模塊中相互調用的函數

Question

我有一個關於ocaml的問題，我是初學者:-)

這是我正在嘗試做的一個例子:(我知道這是無意義的但它不是我真正的代碼，它只是一個例子）

let func a b = a
let func2 a b = b

let func_a a b =
    if b < 0 then
       func_b b a
    else
       func a b

let func_b a b =
    if a < 0 then
       func2 a b
    else
       func_a b a

問題是： Unbound value func_b in the first "if" in func_a...

如果有人可以幫忙嗎？

編輯：我理解為什么這是未綁定的，但我不知道如何解決它。

非常感謝！

馬克斯

Answer 1

關鍵字是相互遞歸的函數 ：

let func a b = a
let func2 a b = b

let rec func_a a b =
    if b < 0 then
       func_b b a
    else
       func a b

and func_b a b =
    if a < 0 then
       func2 a b
    else
       func_a b a