在这个问题之后,我不知道该怎么想.
在OCaml中,如果你执行-1.0**2.0之类的操作(因为你需要浮动键入,你获得1.00).根据标准操作顺序,结果应该是-1(如在python中).
我无法在OCaml中找到运算符优先级的原因或明确定义...
这是因为类型系统？或者说战斗机下面有绑定的事实？
正如您引用的页面所说:"一元运算符 - (通常读"减去")的行为顺序通常是有问题的." - 它引用Excel和bc与O'CAML具有相同的优先级,但也说"在书面或印刷数学中"它的工作方式与Python相同.因此,基本上,在这个具体问题上没有普遍的共识.