ocaml - 什么是 :> operator?

Question

我正在浏览 Dream当我偶然发现一个我以前从未见过的运算符(可能在包中定义)时的源代码:

let method_ =
  match (method_ :> Method.method_ option) with
  | None -> `GET
  | Some method_ -> method_

什么是:>运算符，它来自哪里，有什么作用？

Answer 1

:> 是类型化子语言中的内置运算符，用于声明子类型化关系。所以它不是来自包裹。

在这种特殊情况下，它表示 method_ 可能有一些更具体的类型，应该被视为类型 Method.method_ option。类型检查器将首先验证method_ 的类型是否是指定类型的子类型。

这记录在 Chapter 9, Section 7.7 中OCaml 手册，其中的构造称为“强制转换”。