前回に続いて、エラー処理のある言語を型検査できる型システムを実装する話。今回は部分型全般やBottom型に対するチェックを行うヘルパ関数について。 導入するヘルパ関数は四つ： ある型がある型の部分型かどうかを調べるis_subtype 部分型関係を考慮に入れ…