sml - infix、infixr、infixlの違い

Question

サンプルプログラムで infix、infixr、infixl を使用している本を読みました。私は違いが何であるか疑問に思っています。infixr は右から左へ、またはその逆に操作を実行すると推測しています。

Answer 1

はい、r/l は結合性を示します。infixテストしなければ、通常の左結合性があると思います。

Answer 2

infix演算子を左結合とinfixr定義し、右結合と定義します。infixl存在しません。

Answer 3

実装によって異なります。SML '97規格は、SML/NJおよびMltonとは少し異なります。結合規則と、優先度に応じて式を括弧で囲む方法に関して、それぞれでわずかに異なる動作が得られます（標準は実装よりも少し厳密です）。