OCamlでは ＜ や | で始まる中置演算子は左結合になるため、|> はO.K.ですが、<| 演算子をつなげたときにカッコが必要になってしまいます。 http://d.hatena.ne.jp/mzp/20090105#c1231290114 なんだそれと思ったが,ほんとだった。 | ['=' '<' '>' '|' '&' '$'] symbolchar * { INFIXOP0(Lexing.lexeme lexbuf) } (* 略 *) | ['*' '/' '%'] symbolchar * { INFIXOP3(Lexing.lexeme lexbuf) } とレキサの中で先頭文字だけ('**'のみ2文字)を見て演算子の種別分けをしている。 なんでこんな設計になっているんだろうか。(手抜き? 高速化の為?) ところで,演算子の結合性を指定できる言語にSMLやHaskellがあ
![[コンパイラ][Haskell][OCaml] Haskellのinfixの仕組み - mad日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/ea31ce718f81be3ad22985fefe12ccabde2adbf0/height=288;version=1;width=512/https%3A%2F%2F2.zoppoz.workers.dev%3A443%2Fhttps%2Fogimage.blog.st-hatena.com%2F17680117127117448634%2F17680117127117449277%2F1557149414)
