Exercise�16��[難易度 2] 今までのことを応用して， 空リスト []，右結合の二項演算子 ::，match 式を導入して，リストが扱えるように ML⁴ インタプリタを拡張せよ．match式の構文は，

match�<式1>�with�[]→<式2> �|�<識別子1>�::�<識別子2>→<式1>

程度の制限されたものでよい．

Exercise�17��[難易度 1] リスト表記

[<式1>;…;<式n>]

をサポートせよ．

Exercise�18��[難易度 1] match式において，リストの先頭と残りを表す変数に同じものが使われていた 場合にエラーを発生するように改良せよ．

Exercise�19��[難易度 3] より一般的なパターンマッチ構文を実装せよ．

Exercise�20��[難易度 2] ここまで与えた構文規則では，Objective Camlとは異なり， if，let, fun, match 式などの「できるだけ右に延ばして読む」構文が二項 演算子の右側に来た場合，括弧が必要になってしまう．この括弧が必要なくな るような構文規則を与えよ．例えば，

1 + if true then 2 else 3;;

などが正しいプログラムとして認められるようにせよ．