プログラミング言語SML#解説 3.7.1版

19 式 19 式 19.2 定数式

\,\langle

\rangle\,

19.1 演算子式の展開

演算子宣言は，構文構造の決定に関わる特殊宣言であり，以下の構文で定義される．

infix $($ n $)?$ $\,\langle$ vidList $\rangle\,$
infixr $($ n $)?$ $\,\langle$ vidList $\rangle\,$

これら宣言は， $\,\langle$ vid $\rangle\,$ に対して演算子属性を与える． infix宣言は，識別子が左結合する演算子として使用することを宣言し，infixr宣言は，識別子が右結合する演算子として使用することを宣言する．オプションとして結合力を０から９までの数字 $\,\langle$ n $\rangle\,$ で指定することができる．数字が大きいほうが結合力が強い．結合力 $n$ を省略すると， $0$ を指定したとみなされる．宣言，

nonfix $\,\langle$ vidList $\rangle\,$

は， $\,\langle$ vidList $\rangle\,$ の演算子属性を削除する．

これら演算子宣言は， $\,\langle$ vid $\rangle\,$ の宣言が書ける所に書くことができ， $\,\langle$ vid $\rangle\,$ の宣言が生成する識別子の定義と同様の静的スコープに従うが，構文解析処理への指示であり，識別子の定義とは独立になされる．

演算子属性が与えられた識別子 $\,\langle$ id $\rangle\,$ が式またはパターンに現れると，演算子の優先度に従い以下の構文変換が行われる．

変換前	変換後
$\,\langle$ exp ${}_{1}$ $\rangle\,$ $\,\langle$ vid $\rangle\,$ $\,\langle$ exp ${}_{2}$ $\rangle\,$	op $\,\langle$ vid $\rangle\,$ ( $\,\langle$ exp ${}_{1}$ $\rangle\,$ , $\,\langle$ exp ${}_{2}$ $\rangle\,$ )
$\,\langle$ pat ${}_{1}$ $\rangle\,$ $\,\langle$ vid $\rangle\,$ $\,\langle$ pat ${}_{2}$ $\rangle\,$	op $\,\langle$ vid $\rangle\,$ ( $\,\langle$ pat ${}_{1}$ $\rangle\,$ , $\,\langle$ pat ${}_{2}$ $\rangle\,$ )

ここで， $\,\langle$ exp ${}_{1}$ $\rangle\,$ と $\,\langle$ exp ${}_{2}$ $\rangle\,$ は，演算子属性の結合力の強さに応じて決定される．式またはパターンに現れた構文

op $\,\langle$ vid $\rangle\,$

は， $\,\langle$ vid $\rangle\,$ と同一であるが， $\,\langle$ vid $\rangle\,$ の演算子属性は無視される．

従って，fooが演算子属性をもつ識別子の場合，以下の２つの式は等価である．

1 foo 2
op foo (1,2)

演算子宣言はインタフェイスファイルでも行うことができる． SML#言語では，すべてのコンパイル単位および対話型モードで，以下の演算子宣言を含むインタフェイスファイルが暗黙に_requireされている．

infix 7 * / div mod
infix 6 + - ^
infixr 5 :: @
infix 4 = <> > >= < <=
infix 3 := o
infix 0 before

以上の階層的な構文の定義とインフィックス宣言によって，構文間の結合の強さが定義される．例えば，レコードアップデート構文 ( $\,\langle$ exp ${}_{1}$ $\rangle\,$ # { $\,\langle$ lab $\rangle\,$ = $\,\langle$ exp ${}_{2}$ $\rangle\,$ }) の結合力は，最も結合力の強い（infix 9と宣言された）演算子よりも強く， if $\,\langle$ exp $\rangle\,$ then $\,\langle$ exp $\rangle\,$ else $\,\langle$ exp $\rangle\,$ 等の他の構文の結合力は，最も結合力の弱い（infix 0と宣言された）演算子の結合力よりも弱い．