OCaml中的`或`和`&`

Question

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

不幸的是,or和&被标记为手册中弃用.我想知道

1. 什么时候开始,和
2. 为什么会这样.

如果OCaml的设计者为这个设计决定写了一个理由,我想知道它的位置.我很感激你的帮助.

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

论点1. ||并且&&对C及其后代的前程序员更友好.

反驳论点1.OCaml在很少的方面与C类似.仅仅在这个特定的方面使它看起来像C是没有意义的.

论据2.更希望具有用于连接和分离的类似符号.

反驳论点2.在自然语言中,我们只有一个特殊的符号,并且,为了结合而不是为了分离,我们对它持续了几个世纪.此外,一些逻辑教科书,包括肖恩菲尔德的数学逻辑,使用完全不同的符号来分离和结合,即,和∨.

Answer 1

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

我不知道任何设计原理,可能C相似性是主要的驱动点.此外,or它&是jocaml中的关键字- 这可能是阻止它们在常规OCaml中使用的原因之一.