tkhの日記： Reduction Machine

コンパイラの講義の宿題を提出。今回は、Curryのアルゴリズムを使ってラムダ式をコンビネータ式に変換するコードの実装と、グラフ帰着アルゴリズムを使ってコンビネータ式を標準形に帰着するリダクションマシンの実装。あまり苦労せずに実装完了。

リダクションマシンは、関数型言語の処理系に使われることが多く、Haskellの一部の処理系で使われていたりする。