如何阅读这段使用“~”和“:”的 OCaml 代码？

Question

我是 OCaml 的新手，在浏览一些代码时，我看到了以下内容：

  let catch f m = M.bind m ~f:(
      function Error e -> f e
             | Ok x -
    )

据我所知，这是定义一个 try/catch 块（我的理解是 OCaml 不使用单独的 catch 块）。 M.bind 是将 m 的结果传递给第二次计算的一元绑定运算符。 OCaml 参考手册说 ~ 用于标记参数，以便于理解它们在文档中的类型签名。然而，这是否意味着第二次计算（“function ..”）也被标记为 f??

Answer 1

带标签的参数与特定函数相关联。这意味着该函数有一个带名称的参数。调用该函数时，您可以像这样指定名称和值：

 myfun ~name: value

如果此调用有效，那么我们知道 myfun 有一个名为 name 的参数。

为了比较，当你调用一个没有标签参数的函数时，调用看起来像这样：

myotherfun othervalue

接受命名参数的函数的定义如下所示：

let myfun ~name =
    ... expression involving name ...

例如，这个函数从你传递的任何东西中生成一个单例列表：

let myfun ~name = [name]

对该函数的调用在 OCaml 顶层 (REPL) 中如下所示：

# myfun ~name: 44;;
- : int list = [44]

关键是这允许您在调用函数时按名称而不是按位置指定参数。您需要指定函数期望的名称。但如果一个函数有多个命名参数，您可以按任意顺序指定它们。

这些名称仅在 OCaml 文档中使用是不正确的。手册告诉你的是，命名参数可以作为很好的文档来说明不同参数的用途。对于需要大量参数的函数尤其如此，尤其是当它们中的一些是相同类型时。使用名称可以避免您以错误的顺序指定名称的错误。

所以，您正在调用一个函数M.bind，该函数有一个名为f 的标记参数。按照惯例，名为 f 的参数用于将函数作为参数传递，这确实是这里发生的事情。

所以;你的问题似乎是第二个论点是否被标记。 M.bind 的第二个参数被标记为是。但价值可以是任何东西。值不受传递给它的函数的标签的影响。此外，您可以查看函数定义 function Error ... 并看到它没有任何带标签的参数。它只是一个接受result 类型值的函数。

重复一遍，这是一个函数定义：

function Error -> f e | Ok x -> g x

所以我们知道关于这个函数的一切。它绝对没有任何命名参数。