Lisp Scheme Part19
..
320:デフォルトの名無しさん
08/01/27 09:02:39
(define uoo '((lambda (x) (lambda (y) x)) y))
> (reduction uoo)
((lambda (x) (lambda (y) x)) y)
(lambda (y) y)
>
これがダメなんだけどα変換がよくわからない。
高橋正子先生の本にもα変換がないみたい。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5396日前に更新/210 KB
担当:undef