ocaml - ` OCaml 中的运算符

Question

OCaml 中的 ` 运算符有什么作用？

let int_of_meth = function
  | `GET     -> 0
  | `POST    -> 1
  | `PUT     -> 2
  | `DELETE  -> 3
  | `HEAD    -> 4
  | `PATCH   -> 5
  | `OPTIONS -> 6
  | _        -> failwith "non standard http verbs not supported"

我在 OCaml 手册中找不到它。

Answer 1

这个`不是真正的运算符(operator)。它在词汇级别上工作(如字符串的引号)，并使以下符号成为“多态变体”。请参阅@Edgar Arousiounian 提供的链接:

http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual006.html#toc36

更新

实际上，`如@gsg 所述，被扫描为单独的符号。所以像 ` Abc 这样的多态变体是一个句法结构。我仍然会声称它不是通常意义上的运算符(operator)。

(编辑:更改为 Abc。我从不知道它们应该大写。例如，lablgl 接口(interface)似乎始终使用小写。)