スキーム - 動的スコープとinfinteループ

Question

私はスキームについての本を読んで、それは次の例があります。

(define map 
    (lambda (f s) 
    (if (null? s) 
     '() 
      (cons (f (car s)) 
       (map f (cdr s))))) 

(map (lambda (s) 
     (set! s '(1 2 3 4)) 
     'hello) 
    '(a b c d)) 

それはダイナミックスコープでは、我々は無限ループに入ることを言います。しかし、なぜ？私が理解できるように、我々はアプリケーションを適用した後、我々は

f = (lambda (s) 
     (set! s '(1 2 3 4)) 
     'hello) 

とs = '(a b c d)にマッピングするために到着しました。さて、最初の実行のために、我々は(car '(a b c d)にfを適用します。

((lambda (s) 
    (set! s '(1 2 3 4)) 
    'hello) 
(car '(a b c d))) 

そして今、それは(1 2 3 4)するaを変更します。それで、ここにループはどこにありますか？

Answer 1

私は何著者が意味することはf (car s)実行した後、sの値は'(1 2 3 4)になりますので、あなたがするたびに無限(map f '(2 3 4))を呼び出しますので(cdr s)の値は、'(2 3 4)になるということだと思います。

しかし、これは動的スコープの正確な描写ではないと私は思います。 sはラムダのパラメータであるため（フリー変数ではないため）、set!の影響を受けるパラメータと、mapのsのパラメータは影響を受けません。したがって、動的スコープを使用しているかどうかにかかわらず、無限ループはありません。また、コードをelisp（動的スコープ）に変換すると、コードは実際には無限ループを引き起こしません。だから私はあなたの本は、動的スコープを使用して無限ループがあると言って間違っていると言うでしょう。