带有FSharpPlus的读卡器monad转换器示例

Question

我正在努力理解阅读器monad转换器。我正在使用FSharpPlus，并尝试编译以下示例，该示例首先从读取器环境中读取一些内容，然后执行一些异步计算，最后将两个结果组合在一起：

open FSharpPlus
open FSharpPlus.Data
let sampleReader = monad {
let! value = ask
return value * 2
}
let sampleWorkflow = monad {
do! Async.Sleep 5000
return 4
}
let doWork = monad {
let! envValue = sampleReader
let! workValue = liftAsync sampleWorkflow
return envValue + workValue
}
ReaderT.run doWork 3 |> Async.RunSynchronously |> printfn "Result: %d"

有了这个，我在写let! value = ask的那一行得到了一个编译错误，并显示了以下完全没有帮助的(至少对我来说(错误消息：

为类型推理变量应用默认类型"obj"时，类型约束不匹配。没有与方法"op_GreaterGreaterEquals"匹配的重载。

已知返回类型：异步

已知类型参数：<obj，(int->异步(>

感觉我只是在某个地方漏掉了一些运算符，但我想不通。

Answer 1

您的代码是正确的，但在这种情况下F#类型推断就不那么聪明了。

如果您向sampleReader添加类型注释，它将编译良好：

let sampleReader : ReaderT<int,Async<_>> = monad {
let! value = ask
return value * 2
}
// val sampleReader : FSharpPlus.Data.ReaderT<int,Async<int>> =
//  ReaderT <fun:sampleReader@7>

更新：

看完你的评论后。如果你想让它通用，首先你的函数必须声明为inline，否则不能应用类型约束：

let inline sampleReader = monad ...

但这就引出了第二个问题：常量不能内联声明(实际上有一种方法，但太复杂了(，只有函数可以。

因此，最简单的方法是将其作为一个函数：

let inline sampleReader () = monad ...

现在，代码无法编译的第三个问题是：(

在这里，您可以再次给类型推断一个最小的提示，只是在调用站点上说，您期望ReaderT<_,_>就足够了：

let inline sampleReader () = monad {
let! value = ask
return value * 2
}
let sampleWorkflow = monad {
do! Async.Sleep 5000
return 4
}
let doWork = monad {
let! envValue = sampleReader () : ReaderT<_,_>
let! workValue = liftAsync sampleWorkflow
return envValue + workValue
}
ReaderT.run doWork 3 |> Async.RunSynchronously |> printfn "Result: %d"

结论：

在F#中，定义泛型函数并不是一项微不足道的任务。如果你研究F#+的来源，你就会明白我的意思。

运行完您的示例后，您将看到生成的所有约束，并且您可能会注意到通过使函数内联和通用来增加编译时间。

这些都表明我们正在将F#型系统推向极限。

尽管F++定义了一些现成的通用函数，并且这些函数有时可以以创建自己的通用函数的方式进行组合，但这不是库的目标，我的意思是，你可以，但你可以自己，在一些场景中，如探索性开发，这可能是有意义的。