今日は記念すべき初日ですが、体調が悪くてあまり進みませんでした。 今日やったことは以下の通りです。 ラムダ計算, 整数演算, let式, if式の抽象構文木を定義して、字句解析器、構文解析器を実装。 型推論に必要となる出現検査、単一化、自由な型変数の集…