1

タイトルのようにOCamlで自分が定義した演算子の結合性を質問したいと思います。

ためしたこと:

let (^-^) a b = a - b;;
3 ^-^ 2 ^-^ 1;;
- : int = 2

ここは右結合ですね、

補充:

let (||>) a b = a - b;;
3 ||> 2 ||> 1;;
- : int = 0

なぜここでは左結合になるでしょう?

どんなルールで結合性が決まるのですか?

1 件の回答 1

2

定義した演算子の名前がどの記号から始まるかによって、優先度と結合性が変わります。詳しくは OCaml のマニュアルをご覧ください: https://ocaml.org/manual/expr.html#ss%3Aprecedence-and-associativity

今回の場合だと、(^-^)^ から始まるので右結合、(||>)| から始まるので左結合です。

1
  • ありがとう御座います。
    – normidar
    Commented 2022年4月8日 5:21

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。