今日やった作業は以下の通りです。 型推論器の未完成の部分を実装。 インタプリタを作成。 クロージャ変換を実装。 今日の時点で階乗を計算する以下のプログラム(構文はまだ未確定)が 動くようになりました。 rec fact = \n -> if n == 0 then 1 else n * fa…