OCaml中单引号'a和a'之间有什么区别？

Question

OCaml中的单引号'a代表一般类型。 a'代表什么？看起来它不是语法错误，如下面的代码所示：

type nat =
  | O
  | S of nat

let rec plus n m =
  match n with
  | O -> m
  | S n' -> S (plus n' m)

Answer 1

如你所说，'a用于类型 - 一般类型。

而''是标识符的有效名称（值，函数...）。

在您的示例中，您可以用n'替换nn。