funarg 問題 - わからん

funarg 問題とは、クロージャが成り立つときの結果を期待したいけど、見た感じ2通りに曖昧な以下のような2パターンの総称のことみたいです。 ;; upwards funarg problem (let ((y 2)) (funcall (funcall #'(lambda(y) #'(lambda(x) y)) 1) 0)) ;=> 1 ;; downwards funarg problem (defun foo (x) #'(lambda () x)) (defun bar (x) (funcall (foo 1))) (bar 2) ;=> 1 上の定義が正しいなら、以下は funarg 問題的には残念な結果ということになる。それがどうしたと思ってしまうのですが。コメント歓迎です! (defvar y 10) (let ((y 2)) (funcall (funcall #'(lam

[hchbaw]

defvarすごいです！(ちがｗ/上と違ってyのspecialな束縛をのみみにゆくようになり、“曖昧さ”は無くなるのでしょうね。“functionで閉じ込めるつもりがdefvarによって開いちゃっていた”といったイメージになるでしょうか。