2009-10-13から1日間の記事一覧

項書き換え系

unification problem というナニで google 先生にお伺いしたら標題の_項書き換え系_という用語がお出ましになった。 たとえば以下。 Term Rewriting System 上記のナニで言うと subst-in-term はダウトっぽいカンジ。今の実装って i が term に変換されるカ…

EoPL reading (120) 2.3 Representation Strategies for Data Types

昨晩の続き。subst-in-terms です。 ぢつは仕事中、ってか休憩中に map 使えるぢゃん、ってコトに気づく。