계획에서 인용

Question

다음은 SICP의 운동입니다. 나는 그것을 스스로 알아낼 수 없었다. 왜 내가 이해하는 데 도움이 될 수 있습니까?

다음 코드를 interpreator에 입력하십시오.

(car ''abracadabra)

그리고 '인용'을 인쇄합니다. 왜요?

Answer 1

Gimpf가 말했듯이, 'Abracadabra = (인용 아브라카다 라). ``abracadabra를 대답에 입력하여이를 확인할 수 있습니다.

Answer 2

``Abracadabra는 실제로 (인용문 (인용문 아브라카다라))이기 때문입니다. 체계에서 규칙은 다음과 같습니다. S- 표현의 모든 부분을 평가하고 첫 번째 부분을 나머지 부분에 적용하십시오.

"자동차"와 "인용"은 아래의 기호입니다. #car 및 #quote는 그들이 참조하는 기능입니다.

당신이 가져 가면

(car (quote (quote abracadabra)))

부품을 평가하면 얻을 수 있습니다

(#car (quote abracadabra))

그런 다음 첫 번째 부분 (자동차 기능)을 두 번째 부분 (두 개의 기호 목록)에 적용하십시오.

quote

그리고 당신은 단지 "인용문"을받습니다.

체계에서 무슨 일이 일어나는지 알아 내고, 부분을 평가하고, 첫 번째 부분을 나머지에 적용하십시오. 인용문을 평가하면 내부에 물건을 얻습니다. 유일한 혼란스러운 부분은 일부 프리미티브 (숫자와 문자열)가 스스로 평가한다는 것입니다.