带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＃+定义了一些现成的泛型函数，并且有时可以以您创建自己的泛型函数的方式来组合这些函数，这不是库的目标，我的意思是可以，但是然后您是一个人，在某些情况下，例如探索性开发，这可能很有意义。

f#f#+monad-transformers

带FSharpPlus的Reader Monad变压器样品

问题描述

解决方法

相关问答