4.1 単位型(eqtype unit)

問 4.1

before と ignore はこれまでに学んだ構文を使って定義可能である． $exp_{1}$ ， $exp_{2}$ を任意の式とするとき， ignore $exp_{1}$ および $exp_{1}$ before $exp_{2}$ それぞれについて，同一の動作をし同一の型を持つ構文を，ingore および before を使わずに定義せよ．

解答例以下にコード化の例を示す。

•

ignore $exp_{1}$
(fn _ => ()) $exp_{1}$
•

$exp_{1}$ before $exp_{2}$
(fn x => fn () => x) $exp_{1}$ $exp_{2}$