如何在没有 let 关键字的情况下对计算表达式调用绑定

Question

>假设我有这个：

MyComputationExpression {
    let! addr = Salesrecord.Address
    let! name = Salesrecord.Name
    return (name + " " + addr)
}

有没有办法即时"解开包装"(调用bind方法(地址和名称？有点像：

MyComputationExpression {
    (Salesrecord.Name! + " " + Salesrecord.Address!)
}

(如果！是即时解开包装的运算符(。每次我想只使用一次bind的结果时都必须声明一个新变量似乎有点冗长。

Answer 1

Bind和Return方法都可以在MyComputationExpression上使用。您的原始代码将转换为以下等效代码：

MyComputationExpression.Bind(
    Salesrecord.Address,
    fun addr -> MyComputationExpression.Bind(
        Salesrecord.Name,
        fun name -> async.Return (name + " " + addr)))

这是相当丑陋的代码，这就是为什么计算表达式作为语言功能存在的原因。目前无法以您想要的方式内联使用它们。这将是一个额外的语言功能，并且之前已经提出过。

Answer 2

您的特定示例可以很容易地从运算符中调用，以便内联：

let inline (+?) a b =
    MyComputationExpression(){
        let! x = a
        let! y = b
        return x + y }
Some 3 +? None
salesrecord.Address +? Some " " +? salesrecord.Name

在更复杂的情况下，对计算的其余部分显式执行bind的需求至少可以提高可读性。