如何在 F# 上制作无参数的功能包装器？

Question

这是我的代码：

let go thriller =
    work.ListPos.Clear()
    thriller
    work.Thread.Start()

member X.Start() =
    work.ListPos.Add <| new Packet( connector.Authorize("admin","1") ) |> go

所以它不起作用。我使用带有参数的包装器，如下所示：

let inconnection thriller   = 
    using <| new SqlConnection(insql)  <| fun X -> X.Open(); thriller X;

inconnection <| fun X ->

我不能在没有参数的情况下以这种方式使用它，因为我没有 X （参数），但是如何创建没有参数的 lambda ？

谢谢。

Answer 1

将 () 用于空 lambda 参数列表或空主体：

fun () -> ()  // unit -> unit

Answer 2

据我所知，您正在尝试实现“中间的洞”模式 - 即运行一些初始化，然后运行用户指定的函数，然后运行一些清理。

正如 dahlbyk 已经指出的那样，您需要将 go 操作传递给 unit -> 类型的 function 。单位。可以这样写：

let go thriller =
    work.ListPos.Clear()
    thriller()
    work.Thread.Start()

// Use it like this:
go (fun () ->
  work.ListPos.Add(new Packet( connector.Authorize("admin","1"))
)

旁白。您的另一个示例并不是真正惯用的 F# 代码。 using 函数可以替换为 use 关键字，这明显更容易使用：

let inconnection thriller   = 
    use conn = new SqlConnection(insql) 
    conn.Open()
    thriller conn

inconnection (fun conn -> ...)

更棘手的选项。
或者，您还可以将 use 关键字用于处理 SQL 连接等资源之外的其他用途。这可以使您的 go 函数变得更好（但这取决于您的具体情况）。这个想法是，您将能够编写：

use u = go()  // work.ListPos.Clear() gets called here
work.ListPos.Add(new Packet(connector.Authorize("Admin", "1")))
// work.Thread.Start() gets called automatically when 'u' variable goes out of scope

为此，您需要将 go 定义为返回执行清理的 IDisposable 的函数：

let go () =
  work.ListPos.Clear()
  { new IDisposable with
      member x.Dispose() = work.Thread.Start() }