#lang racket
;;;;Newton法による平方根
;;;2乗
(define (square x)
(* x x))
;;;平均
(define (average x y)
(/ (+ x y) 2))
;;;予測値の2乗が近似値に近いか
(define (good-enough? guess x)
(< (abs (- (square guess) x)) 0.001))
;;;予想値の商と平均で次の予想値を求める
(define (improve guess x)
(average guess (/ x guess)))
;;;ifの新版を定義
(define (new-if predicate then-clause else-clause)
(cond (predicate then-clause)
(else else-clause)))
(define (sqrt-iter guess x)
(new-if (good-enough? guess x)
guess
(sqrt-iter (improve guess x)
x)))
;;;平方根の近似値を求める
#|
(define (sqrt-iter guess x)
(if (good-enough? guess x)
guess
(sqrt-iter (improve guess x)
x)))
|#
;;;開始
(define (sqrt x)
(sqrt-iter 1.0 x))
(sqrt 2)
(sqrt 3)
(sqrt (+ 100 37))
実行結果は無限ループになりました。
;;;ifの新版を定義
(define (new-if predicate then-clause else-clause)
(cond (predicate then-clause)
(else else-clause)))
(define (sqrt-iter guess x)
(new-if (good-enough? guess x)
guess
(sqrt-iter (improve guess x)
x)))
;;;平方根の近似値を求める
#|
(define (sqrt-iter guess x)
(if (good-enough? guess x)
guess
(sqrt-iter (improve guess x)
x)))
|#
ifを新たに定義したnew-ifで置き換えてます。ifやcondは特殊形式ですが、new-ifは定義した関数のためすべての引数が評価されます。new-ifの呼び出しで引数が順番に評価されて、第3引数が評価されて無限ループになるのでしょうか。