SICP Exercise 1.6 / SICP 연습문제 1.6

SICP Exercise 1.6 / SICP 연습문제 1.6

If you've run the problem does not know the answer, but only consume CPU resources.

This problem seems to be that in a study on the issue in applicative order evaluation.

The following example shows the original if statement.

문제를 실행해 보셨다면 알겠지만 CPU자원만 소모할뿐 답을 주지 않습니다.

이 문제는 applicative order evaluation에서 발생하는 문제에 대한 고찰을 하게 해주는것 같습니다.

아래 예제는 기존 if문입니다.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

(define trueMessage  "it`s true") (define falseMessage "it`s false") falseMessage (if (= 3 3) trueMessage (set! falseMessage "else work!")) falseMessage -------------------------------------------- result "it`s false" "it`s true" "it`s false" Colored by Color Scripter

cs

The results do not appear to differ from the stars.

However, new-if contact results are a little different.

별다를것 없는 결과물이 나옵니다.

그러나 new-if문의 결과물은 좀 다릅니다.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

(define (new-if predicate then-clause else-clause)   (cond (predicate then-clause)        (else else-clause))) (define trueMessage  "it`s true") (define falseMessage "it`s false") falseMessage (new-if (= 3 3) trueMessage (set! falseMessage "else work!")) falseMessage -------------------------------------------- result "it`s false" "it`s true" "else work!" Colored by Color Scripter

cs

applicate order evaluation scheme language, but the way

In the if statement looks like a crown nomal order evaluation applied.

Therefore, if the evaluation applicate order to run through the new-if newton method is applied will fall into an infinite loop.

scheme언어가 applicate order evaluation 방식이지만 

if문에 있어서는 nomal order evaluation이 적용 되는것 같아보입니다.

그러므로 applicate order evaluation이 적용되는 new-if를 통해 newton method를 실행할경우 무한루프에 빠지게 됩니다.