F# 上产生值的协程

Question

我想更好地理解延续和协程。 我想在不使用seq 或async 工作流的情况下对它们进行编码。

我在F# 中找到了几个 Coroutines 的实现 this simple coroutines, and this from fsharpsnippets

我的问题是如何实现一个协程 yield 来为调用协程产生值，例如：

let anothercoroutine= coroutine {
    do! yieldvalue' "hello"
    do! yieldvalue' "world"
}
coroutine{
    let! a = yield' anothercoroutine
    let! b = yield' anothercoroutine
    return a + " " + b
} // it would return "hello world"

这只是我想要完成的一个“hello world”示例，但我并不真的需要 anothercoroutine 成为序列生成器，尽管它可以是......这段代码将与其他已计划这样做的协程。

我想知道F# 是否有一些隐含的限制。 我试过了，但似乎比预期的要难，所以我需要知道我是否只是把时间花在一个不可能的问题上。

Answer 1

关于如何最好地在 F# 中实现协程以及不同现有实现的优点，我们可以讨论很多，但我将尝试回答您在此处提出的具体问题。具体来说，为什么不使用这种语法：

let anothercoroutine= coroutine {
    do! yieldvalue' "hello"
    do! yieldvalue' "world"
}

这里的问题在于 F# 计算表达式中 do! 的含义。这个方便的表格向我们展示了每个内置关键字在计算构建器中的作用：

如您所见，do! 只是调用计算构建器的Bind 函数，并带有一个接受单元的延续。因此，基本上暗示 expr 将返回单元，因此不是那种用于从协程产生中间结果的值生成函数。