如何使两种功能相互认识?例如,在下面的代码中,如何使ping和pong相互调用?
module PingPong =
let pong =
printfn "pong"
ping
// error: The value or constructor 'ping' is not defined.
let ping =
printfn "ping"
pong
[<EntryPoint>]
let main argv =
ping
0编辑:
写完这个问题之后,我们发现在F# 4.1中,现在有了module rec关键字。不过,简单地使用module rec PingPong...就意味着在第3行中我们收到了这个新错误:
error FS0031:该值最终将作为其自身定义的一部分进行计算。您可能需要使值延迟或函数。值'pong‘将评估'ping’将评估'pong‘。
编辑:
经过更多的研究,我们了解了价值观和功能之间的区别。我们做了如下工作:
module rec PingPong =
let pong() =
printfn "pong"
ping()
let ping () =
printfn "ping"
pong()
[<EntryPoint>]
let main _ =
ping()
0因此,对于那些现在可能有答案的人来说,作为一个后续问题,在F# 4.1引入递归模块之前,我们如何在作用域上相互创建两个函数呢?
发布于 2018-02-23 04:46:11
您可以做出如下相互递归的定义:
let pong =
printfn "pong"
ping
and ping =
printfn "ping"
pong但是您的let不是函数。您需要用pong标记为递归的rec
let rec pong x =
printfn "pong"
ping (x + 2)
and ping x =
printfn "ping"
pong (x + 1)这个程序并不真正“工作”,但它显示了这个概念。以下是一些最终会结束的事情:
let rec pong x =
printfn "pong"
ping (x - 2)
and ping x =
printfn "ping"
match x with
| 1 -> 1
| 2 -> 1
| x -> pong (x + 1)
> pong 5;;
pong
ping
pong
ping
val it : int = 1https://stackoverflow.com/questions/48941269
复制相似问题