Lisp Scheme Part19 - 暇つぶし2ch

Lisp Scheme Part19 at TECH

327:デフォルトの名無しさん
08/01/27 23:35:04
>>326

> uoo2
((lambda (x) (lambda (z) x)) y)
> (reduce uoo2)
((lambda (x) (lambda (z) x)) y)
(lambda (z) y)
>

束縛変数の付け替えをすればうまくいくはずで、そのことを
α変換というのだと思う。で、このα変換をどのようにアルゴリズム
として表現できるのかと考えている。

新納先生のｐ１５６のβ変換の説明の最初にあるアンダーラインの部分が
α変換のことだと思う。

コンパイラ設計者には必須の知識らしいんだけどさっぱりわからない。

次ページ

続きを表示

1を表示