Lisp Scheme Part19 - 暇つぶし2ch

Lisp Scheme Part19 at TECH

378:デフォルトの名無しさん
08/01/31 00:23:15
>>351
ヒントください。
α変換。(lambda (x) (lambda (y) (x ((lambda (z) z) y))))だとうまくいくけど
そうすると((lambda (x) (lambda (y) x)) y)がうまくいかない。
λx.λy.λz のように深くなっていくときには一番内側のλ式から変換していくと
思うのだけどｘｙｚを順番に変換していくのがよくわからない。

次ページ

続きを表示

1を表示