syntax - OCaml 语法糖中的 begin..end 是什么？

Question

查看 this site 中的非官方 OCaml 语法begin 出现的唯一产生式是:

Expression ::= begin Expression end

再往下一点，我们会看到:

Expression ::= (   Expression  [:Type]   )

加上一些简单代码中的 begin/end 与 (/) 的临时替换(这并不影响正确性)似乎表明 begin end 关键字只是语法糖。或者我错过了什么？

Answer 1

“语法糖”建议对其他结构进行简单但不平凡的翻译。 begin .. end 不是语法糖，它与 ( .. ) 是冗余，因为它完全同样的事情。

如果您有兴趣，其目的是程序员可以使用 begin .. end 来包含命令式表达式，执行它的副作用，并且 ( .. ) 对于具有非单位值的表达式。但编译器并没有强制执行这一点，语言的设计者只是认为如果以这种方式使用它们会看起来更好，仅此而已。