なぜ「**」のOCamlで否定よりも強く結合しませんか？

Question

この質問の後、私は何をするのか分かりませんだと思います。

あなたが（なぜならあなたはフロートを持っている必要がありタイピングの）** 2.0 -1.0ような何かを行う場合は、

OCamlでは、あなたは1.00を得ます。 href="http://en.wikipedia.org/wiki/Order%5Fof%5Foperations" rel="nofollow noreferrer">操作の標準順序を

私は...理由やOCamlの中に演算子の優先順位の明確な定義を見つけることができませんでした。

これは、型システムのですか？またはPOWとの結合の下にはありますという事実？

Answer 1

演算子の優先順位は、関数識別子（それは単項またはバイナリだかどうか）の最初の文字が固定シーケンスに従って演算子の優先順位を決定することを意味し、OCamlのに構文向けられます。文字が機能識別子を形成するために使用された演算子の優先順位にかかわらず関数の定義で指定することができるハスケル、のような言語でこれを対比

Answer 2

あなたが引用非常にページが言うように、 - 「働きしばしば問題となる。 『（マイナス単項演算子は、順序は、通常の読み取り』）」 - それはO'CAMLとそれのために同じ優先度を持つものとしてExcelとBCを引用するだけでなく、それは、Pythonのように働く「書面または印刷された数学で」と言います。だから、基本的に、この特定の問題には普遍的コンセンサスはありません。