sicp习题试解 (1.34)

; ======================================================================

;

; Structure and Interpretation of Computer Programs

; (trial answer to excercises)

;

; 计算机程序的构造和解释(习题试解)

;

; created: code17 03/06/05

; modified:

; (保持内容完整不变前提下，可以任意转载)

; ======================================================================

;; SICP No.1.34

;; 本题为理解题

;; (f f) evaluation的结果应该是出错，替换过程如下

;; (f f) ==> (f 2)

;; (f 2) ==> (2 2)

;; 而此时前面的那个2并不是一个函数，因此无法apply到后面那个2上，故出错

;; Test-it:

;; Welcome to MzScheme version 209, Copyright (c) 2004 PLT Scheme, Inc.

;; > (define (f g) (g 2))

;; > (f 2)

;; procedure application: expected procedure, given: 2; arguments were: 2