「最初からごまかしていた点」を直した実装（のつもり）： let run lang (`Prog(lang', f)) x = (* `Prog(lang', f)は言語lang'で書かれたプログラムf。xはfへの入力。*) if lang = lang' then f x else failwith "invalid program" let interpreter mlang s…