前々回、前回の記事でそれなりに実用的なLet多相型推論が実装できた：

しかし言語機能としてはSTLCにLetが加わっただけで非常に簡素だ。これから段階的に言語機能をリッチにしていく。

今回はまず非常に簡単にユニット型とユニット式の追加。

型

追加されるのはunit型のみ：

type ty =
...
| TUnit

式

式も同じくユニット・リテラルが追加される：

type exp =
...
| EUnit

これはOCamlでいうところの()（例えば０引数関数の呼び出しの時のf ()などで渡されている()）。

EUnitの型付けは非常に簡単：

let rec typeof env level = function
...
| EUnit -> TUnit

() : unitだ。

TUnitは汎化しようがない：

let rec generalize level ty = match ty with
...
| TUnit -> ty

そして具体化もしようがない：

let instantiate level ty =
  let id_var_hash = Hashtbl.create 10 in
  let rec f ty = match ty with
  ...
  | TUnit -> ty
  in f ty

match_fun_tyに渡されるのは関数型かそれに単一化できる型変数であるはずなのでTUnit型が渡された場合はエラー：

let rec match_fun_ty tfunc targ = match tfunc with
...
| TUnit -> failwith "Non-arrow type found in function position"

unify関数にはなんの変化もない。単一化される型が両方TUnitだったら、片方がTUnitでもう片方が型変数だったら、片方がTUnitでもう片方が違う型だったら、というケースが既にワイルドカードによるパターンマッチですべて網羅されている。

TUnitには型変数は含まれていないのでoccursinはfalseを返す：

let rec occursin id = function
...
| TUnit -> false

同じように、型変数がないのでTUnitに対するadjustlevelは何もしないで()を返す：

let rec adjustlevel level = function
...
| TUnit -> ()

非常に簡単な更新だった反面、今まで書いた関数のほぼすべて（unify以外）に多少変更があった。今後の拡張でも同じようにほとんどの関数に少しずつ手を入れていくことになりそう。

次はBool型とIf式を追加する。