- 188 名前：デフォルトの名無しさん mailto:sage [2005/06/02(木) 00:03:46 ]
- >>177
Y-Combinatorにはならないのだろうが、
lambdaだけで再帰を書くのなら動的スコープのほうが楽じゃない？
(funcall
((lambda (f) (lambda (x) (funcall f x)))
(lambda (x) (if (= x 0) 1 (* x (funcall f (- x 1))))))
5)
120
ところで自由変数使わずに束縛変数だけ使うのなら
動的スコープも静的スコープも一緒じゃないの？
ちょっとEmacs LispでY-Combinatorやってみるよ。
