youzさんの記事からラムダ計算に興味を持ったので少しやってみました。 c0 = ^(f):^(x): x c1 = ^(f):^(x): f(x) c2 = ^(f):^(x): f(f(x)) c3 = ^(f):^(x): f(f(f(x))) succ = ^(n):^(f):^(x): f(n(f)(x)) plus = ^(m):^(n):^(f):^(x): m(f)(n(f)(x)) mult =…

Cyanで遊ぶ - * *scrap*にてご指摘いただいたバグを修正し、cyan-1.0.2を公開しました。今回のバグは、ブロックを表すオブジェクトが自身を評価する際、新しいインスタンスを返していなかったことにより、違った環境を持つべきブロックが同一のオブジェクト…