如何解决带FSharpPlus的Reader 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”。
已知的返回类型:异步
已知类型参数:
Async)>
感觉就像我只是在某个地方缺少一些运算符,但我无法弄清楚。
解决方法
您的代码是正确的,但是在这种情况下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#+定义了一些现成的泛型函数,并且有时可以以您创建自己的泛型函数的方式来组合这些函数,这不是库的目标,我的意思是可以,但是然后您是一个人,在某些情况下,例如探索性开发,这可能很有意义。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。