ocaml - OCaml 中的 `or` 和 `&`

Question

在 OCaml 中，中缀运算符 or和 &被定义为 || 的同义词和 && , 分别我喜欢第一组操作符，因为它们更容易打字，而且它们让我觉得我正在学习与传统语言不同的东西。

不幸的是，两者or和 &在手册中被标记为已弃用。我想知道

当这开始时，以及

为什么会这样。

如果 OCaml 的设计者为这个设计决定写了一个基本原理，我想知道它的位置。我很感激你的帮助。

作为旁注，这是我的想法:

参数 1。 ||和 &&对 C 及其后代的前程序员更友好。

反驳 1. OCaml 在某些方面与 C 相似。仅在这方面让它看起来像 C 是没有意义的。

论证 2. 更可取的是对连词和析取词使用相似的符号。

反驳 2. 在自然语言中，我们只有一个特殊的符号 &，用于连接而不是分离，几个世纪以来我们一直对它感到满意。此外，一些逻辑教科书，包括 Shoenfield 的数学逻辑，使用完全不同的符号来表示析取和合取，即 & 和 ∨。

Answer 1

它在 2001 中被标记为已弃用.

我不知道这有任何设计原理，可能 C 相似性是主要驱动点。另外，or和 &是 jocaml 中的关键字- 这可能是不鼓励在常规 OCaml 中使用它们的原因之一。