ここまで実装した型システムではコアな部分であるtypeofの中で使うヘルパ関数として５つmatch_..._tyという名前の関数を定義している： match_fun_ty match_tuple_ty match_rec_ty match_ref_ty match_list_ty これらは元々効率的なHM型推論のお手本として使…