トップ «前の日記(2002-12-28) 最新 次の日記(2002-12-30)» 月表示 編集

日々の流転


2002-12-29 [長年日記]

λ. Ruby-CPL (仮称)

Reduction rule (のLAZY版)をいい加減に実装してみた所、R-NAT (right object の natural transformation に関する規則)を除いて簡単に実装できた。つうか、R-NATややこしすぎ。

R-NATが無いので「pi1.pair(f,g) => f」のような簡約すら出来ないのだけど、「pr(succ.zero,succ.succ).succ.succ.zero => succ.succ.succ.succ.succ.zero」は実行できた。「pr(succ.zero,succ.succ)」は「f(0)=1」「f(n+1)=f(n)+2」を満たすユニークなの関数(つまり「f(x)=2x+1」)を、「succ.succ.zero」は定数の「2」を表わしているので、いわば「f(2) => 5」という計算が実行できた事になる。

Tags: CPL

λ. 明日

が早いので今日はもう寝ます。