錯誤：（/）錯誤的參數類型：＃<unspecified>雞方案平方根近似

Question

我正在關注麻省理工學院的SICP講座，而這正是我試圖通過亞歷山大方法的Heron找到一個數的平方根近似值。這是我第一次嘗試lisp，很抱歉做出了noobie錯誤。

(define guess 1) 

(define (avg a b) 
    (/ (+ a b) 2)) 

(define (try guess x) 
    (if (goodEnough guess x) 
     guess 
     (improve guess x))) 

(define (improve guess x) 
    (define guess (avg guess (/ x guess))) 
    (try guess x) 
) 

(define (goodEnough guess x) 
    (= guess (avg guess (/ x guess)))) 

(print (try 1 25)) 

我正在使用雞計劃編譯器來打印此。這是輸出：

Error: (/) bad argument type: #<unspecified> 

    Call history: 

    1.a.SquareRootApproximation.scm:29: try 
    1.a.SquareRootApproximation.scm:17: goodEnough  
    1.a.SquareRootApproximation.scm:27: avg 
    1.a.SquareRootApproximation.scm:19: improve  <-- 

更新時間：我已經改變了我的辦法來使用LISP更抽象的這個問題，但我無法弄清楚這個新的錯誤想暗示什麼。任何修復？謝謝！

Answer 1

值#<unspecified>在其他語言中基本上是「無效的」。只要某個過程沒有任何有用的返回值，它就被用作返回值（例如，print將返回此值）。在某些情況下，它也用作臨時佔位符值，例如處理內部define時。

通常情況下，該臨時佔位符對語言用戶而言不應該是可見的，但看起來您已經在語言中遇到了一個奇怪的邊界情況（恭喜！很少發生這種情況）。發生錯誤是因爲improve過程中的(define guess (avg guess (/ x guess)))正在同時定義一個變量並使用該變量。這樣做的行爲沒有明確規定，一些Scheme實現將會做雞做的事（Guile，Gauche，Gambit），而另一些會給出一個更有意義的錯誤信息（MIT，Scheme48，Racket）。這個錯誤的原因與內部define擴展到letrec這一事實有關，因爲它允許定義相互遞歸過程，但是這會產生一些問題：例如(define a b) (define b a)應該發生什麼？

你的意圖似乎是使用的AS輸入過程傳遞舊猜測變量，因此而不是使用define你可以使用let綁定一個新值guess（這個應該怎麼表現是良好的規範），或只需使用不同的名稱，如new-guess。