前回の記事に続いてHM型推論を少し拡張する。 今回はBool型を追加し、Boolのリテラル式二つとIf式を実装する。 型 Bool型を追加： type ty = ... | TBool 式 True、False、If式の追加： type exp = ... | ETrue | EFalse | EIf of exp * exp * exp If式は条…