我如何创建一个带参数的计算表达式？

Question

我想创建几个用于访问数据库并返回项目列表的计算表达式（我在代码注释中也有问题）：

let foo x y z = proc "foo" {
    let! cmd = proc.CreateCommand() // can I do this?
    do! In "x" DbType.Int32 // would i gain anything by replacing DbType with a union 
                            // type since the names would match actual data types?
    do! In "y" DbType.String 15;
    cmd?x <- x
    cmd?y <- y
    use! r = cmd.ExecuteReader() // would this be bad form for creating a workflow builder?
    return! r {
        let item = MyItem()
        do! item.a <- r.GetInt32("a")
        do! item.a <- r.GetString("b")
        do! item.c <- r.GetDateTime("c")
        yield! item
    }
}

如何创建工作流构建器，使其实例采用参数？

let proc name = ProcedureBuilder(connStr, factory) // how do I do this?

Answer 1

是的，你可以这样做。 您可以在具有静态已知类型的任何表达式之后使用计算表达式语法来公开正确的方法。 所以下面的代码可以工作（但没有做任何特别有趣的事情）：

let f x = async
let v = f "test" { return 1 }

这里， f具有类型'a -> AsyncBuilder ，因此f "test"具有类型AsyncBuilder并且可以跟随计算表达式语法。 你的let proc name = ProcedureBuilder(connStr, factory)例子非常好，假设ProcedureBuilder被正确定义，尽管你可能希望name出现在构造函数参数的某个地方。

Answer 2

Keith（kvb）的答案是正确的 - 您可以使用参数化计算构建器。 计算表达式的语法是：

<expr> { <cexpr> }

因此，可以通过任何表达式创建构建器。 通常，它是一些值（例如async ），但它可以是函数调用，甚至是构造函数调用。 使用它时，通常会定义参数化构建器，然后使用函数将参数传递给构造函数（如@kvb建议的那样）。

我实际上写了一个这样的例子，不是很久以前，所以我可以分享一个例子 - 我认为 - 这非常有用。 你可以在F＃片段找到它： http ： //fssnip.net/4z

该示例为ASP.NET MVC创建了一个“特殊”异步计算构建器，其行为与标准async 。 唯一的区别是它添加了使用AsyncManager （由ASP.NET提供）来执行工作流的Run成员。

以下是代码段中的一些相关部分：

/// A computation builder that is almost the same as stnadard F# 'async'.
/// The differnece is that it takes an ASP.NET MVC 'AsyncManager' as an
/// argumnet and implements 'Run' opration, so that the workflow is 
/// automatically executed after it is created (using the AsyncManager)
type AsyncActionBuilder(asyncMgr:Async.AsyncManager) = 
  // (Omitted: Lots of boilerplate code)

  /// Run the workflow automatically using ASP.NET AsyncManager
  member x.Run(workflow) = 
    // Use 'asyncMgr' to execute the 'workflow'

该片段将构造包装在基类中，但您可以定义一个函数：

let asyncAction mgr = new AsyncActionBuilder(mgr)

然后使用它在ASP.NET MVC中定义异步操作：

member x.LengthAsync(url:string) = asyncAction x.AsyncManager {
    let wc = new WebClient()
    let! html = wc.AsyncDownloadString(url)
    return html.Length }