2005-09-22 [長年日記]
λ. 型代入を遅延する最適化型推論アルゴリズム; 上野雄大, 大堀淳
LLDN 公園の部で教えたもらったときには気づかなかったけど、型代入の環境への適用を遅延するというアイディア自体は別に新しいものではないはず。例えば Mark P. Jones の Typing Haskell in Haskell で示されているアルゴリズムもそのようになっている。この辺りの話はよく知らないのでなんとも言えないけど、少なくとも folklore ではあったと思う。
もっとも、Typing Haskell in Haskell のコードは、ユニフィケーションの方はそのようになっていないけど。
[ツッコミを入れる]
