二週間でオレオレ言語を作るプロジェクト (1日目)

今日は記念すべき初日ですが、体調が悪くてあまり進みませんでした。 今日やったことは以下の通りです。

• ラムダ計算, 整数演算, let式, if式の抽象構文木を定義して、字句解析器、構文解析器を実装。
• 型推論に必要となる出現検査、単一化、自由な型変数の集合を求めるメソッドを実装。

明日は今日できなかった型推論器の実装の残りの作業と言語のインタプリタの実装を行う予定です。明日までに階乗計算のプログラムを実行できるようにすることが目標です。