Блог

Я читаю метод Ньютона в SICP, где он вводит блочную структуру, в которую вложена функция, скажем

 (define (sqrt x)
    (define (good enough ? guess x)
             (<(abs(-(square guess) x)) 0.001))
    (define (improve guess x)
             (average guess (/ x guess)))
    (define (sqrt-iter guess x)
        (if (good-enough? guess x)
        guess
        (sqrt-iter(improve guess x)x))) 
(sqrt-iter 1.0 x))

  

Я в замешательстве, потому что, в моем понимании вложенности, «достаточно хорошо?» и «улучшить предположение» должны быть вложены
в тело «sqrt-iter», а «sqrt iter» должен быть помещен в тело «sqrt x»

 (define (sqrt x)
   (sqrt-iter 1.0 x
      (define (sqrt-iter guess x)
        (if (good-enough? guess x)
        guess
        (sqrt-iter(improve guess x)x)
             (define (good enough ? guess x)
                 (<(abs(-(square guess) x)) 0.001))
             (define (improve guess x)
                 (average guess (/ x guess)))
       )) 
    ))
  

почему это не так.Я использую LISP

Обратите внимание, что sqrt-iter это уже определено внутри тела sqrt . Но то, как вы это написали, не имеет смысла, вы пытаетесь вызвать sqrt-iter , но определяете его внутри вызова в качестве третьего параметра. Это неправильно:

 (sqrt-iter 1.0 x (define (sqrt-iter ...)))
  

Вы должны определить ее перед вызовом, и вы не можете определить ее так, как если бы она была параметром, как часть вызова процедуры. Это правильный путь:

 (define (sqrt-iter guess x) ...) ; first define
(sqrt-iter 1.0 x) ; after defining, you can call it
  

Ваше другое предложение имеет больше смысла, можно было бы определить good-enough? и improve внутри sqrt-iter , но, возможно, это понятнее в том, как они написали это в книге. Это допустимо, но имеет тот недостаток, что good-enough? и improve будет переопределяться при каждом sqrt-iter вызове:

 (define (sqrt x)
  (define (sqrt-iter guess x)
    (define (good-enough? guess x)
      (< (abs (- (square guess) x)) 0.001))
    (define (improve guess x)
      (average guess (/ x guess)))
    (if (good-enough? guess x)
        guess
        (sqrt-iter (improve guess x)x))) 
  (sqrt-iter 1.0 x))
  

Вам следует более внимательно прочитать раздел книги, в котором объясняется, как процедуры определяются и используются в Scheme, вы, кажется, путаете понятия, смешивая параметры, определения процедур и вызовы процедур.