1 665c255d 2023-08-04 jrmu (define (double p)
 2 665c255d 2023-08-04 jrmu   (lambda (x)
 3 665c255d 2023-08-04 jrmu     (p (p x))))
 4 665c255d 2023-08-04 jrmu 
 5 665c255d 2023-08-04 jrmu ;; What value is returned by
 6 665c255d 2023-08-04 jrmu 
 7 665c255d 2023-08-04 jrmu ;; (((double (double double)) inc) 5)
 8 665c255d 2023-08-04 jrmu nn
 9 665c255d 2023-08-04 jrmu (((double (double double)) inc) 5)
10 665c255d 2023-08-04 jrmu (((double (lambda (x)
11 665c255d 2023-08-04 jrmu 	    (double (double x)))) inc) 5)
12 665c255d 2023-08-04 jrmu (((lambda (y)
13 665c255d 2023-08-04 jrmu     ((lambda (x)
14 665c255d 2023-08-04 jrmu        (double (double x)))
15 665c255d 2023-08-04 jrmu      ((lambda (x)
16 665c255d 2023-08-04 jrmu 	(double (double x))) y))) inc) 5)
17 665c255d 2023-08-04 jrmu (((lambda (y)
18 665c255d 2023-08-04 jrmu     ((lambda (x)
19 665c255d 2023-08-04 jrmu        (double (double x)))
20 665c255d 2023-08-04 jrmu      ((lambda (x)
21 665c255d 2023-08-04 jrmu 	(double (double x))) y))) inc) 5)
22 665c255d 2023-08-04 jrmu (((lambda (x)
23 665c255d 2023-08-04 jrmu     (double (double x)))
24 665c255d 2023-08-04 jrmu   ((lambda (x)
25 665c255d 2023-08-04 jrmu      (double (double x))) inc)) 5)
26 665c255d 2023-08-04 jrmu (((lambda (x)
27 665c255d 2023-08-04 jrmu     (double (double x)))
28 665c255d 2023-08-04 jrmu   ((double (double inc)))) 5)
29 665c255d 2023-08-04 jrmu (((lambda (x)
30 665c255d 2023-08-04 jrmu     (double (double x)))
31 665c255d 2023-08-04 jrmu   ((double (double inc)))) 5)
32 665c255d 2023-08-04 jrmu (((lambda (x)
33 665c255d 2023-08-04 jrmu     (double (double x)))
34 665c255d 2023-08-04 jrmu   ((double (lambda (x)
35 665c255d 2023-08-04 jrmu 	     (inc (inc x)))))) 5)
36 665c255d 2023-08-04 jrmu (((lambda (x)
37 665c255d 2023-08-04 jrmu     (double (double x)))
38 665c255d 2023-08-04 jrmu   ((double (lambda (x)
39 665c255d 2023-08-04 jrmu 	     (inc (inc x)))))) 5)
40 665c255d 2023-08-04 jrmu (((lambda (x)
41 665c255d 2023-08-04 jrmu     (double (double x)))
42 665c255d 2023-08-04 jrmu   ((double (lambda (x)
43 665c255d 2023-08-04 jrmu 	     (inc (inc x)))))) 5)
44 665c255d 2023-08-04 jrmu 
45 665c255d 2023-08-04 jrmu ;; Suppose we defined the procedure below as dd
46 665c255d 2023-08-04 jrmu ;;(lambda (x)
47 665c255d 2023-08-04 jrmu ;;  (double (double x)))
48 665c255d 2023-08-04 jrmu (((lambda (x)
49 665c255d 2023-08-04 jrmu   (dd (dd x))) inc) 5)
50 665c255d 2023-08-04 jrmu 
51 665c255d 2023-08-04 jrmu (((dd (dd inc))) 5)
52 665c255d 2023-08-04 jrmu (((dd (double (double inc)))) 5)
53 665c255d 2023-08-04 jrmu (((dd (double (lambda (x)
54 665c255d 2023-08-04 jrmu 		(inc (inc x)))))) 5)
55 665c255d 2023-08-04 jrmu (((dd ((lambda (x)
56 665c255d 2023-08-04 jrmu 		(inc (inc x)))
57 665c255d 2023-08-04 jrmu        ((lambda (x)
58 665c255d 2023-08-04 jrmu 	  (inc (inc x))) x)))) 5)
59 665c255d 2023-08-04 jrmu ((((double (double ((lambda (x)
60 665c255d 2023-08-04 jrmu 		(inc (inc x)))
61 665c255d 2023-08-04 jrmu        ((lambda (x)
62 665c255d 2023-08-04 jrmu 	  (inc (inc x))) x)))))) 5)