tkhの日記： 終わった

今学期がやっと終了した。今週は、残ったプロジェクトに大慌てで取り掛かった一週間だった。コンパイラの講義は大変だという声をいろんなところで聞いていたけれど、本当に大変だった。SMLのコードをどれだけ書いたか思い出せないくらい。今学期を振り返ってみると、

• Lambda Calculus インタプリタ
• Combinator Reduction エンジン
• Unification アルゴリズムの実装
• Scheme -> Core Lambda パーサ
• Core Lambdaインタプリタ(substitution ベース、environment ベース)
• Tiny Imperative Language インタプリタ
• Core Lambda -> Continuation Passing Style コンバータ

と、これだけのコードを書いた。今はちょっとMLのコード書きから離れて久々にC++なんかのImperative Languageで書いてみたい気分。