无法理解当形式参数用作方案中的值时，我们如何将过程作为实际参数？

Question

在 SICP 练习 1.37 中

Section 1.3.3 in SICP 向下滚动到本节末尾（就在 1.3.4 之前）以查找练习 [本节中的第三个练习]。

根据问题，我将 cont-frac 定义为

(define (cont-frac n d k)
    (if (= k 0)
     0 
     (/ n (+ d (cont-frac n d (- k 1))))
    )
)

Link to solution for the exercise

根据解决方案链接，上面的代码似乎是一致的。 当 n 和 d 被替换为 (lamda (i) 1.0) 时，问题出现在解决方案的第二部分，在解决方案的 (a) 部分，这是一个过程。

我无法理解在cont-frac 的过程中替换时这将如何工作。当我尝试时，出现错误提示 Wrong type of argument

---

编辑 1

我已经添加了我的整个解决方案。它解决了问题，但没有抓住该部分的本质。这是练习 1.37、1.38 和 1.39 的解法。 该程序不使用Procedure as General Method，以下链接的解决方案使用Solution to 1.37、Solution to 1.38 和Solution to 1.39

在下面的程序中
在程序phi 和e-2-val 中，k 是连分数的步数
在程序tan中，k是以弧度为单位的角度（精确值的步数为1000）

#!/usr/local/bin/guile \
-e main -s
!#
(define (finite-cont-frac n d k)
    (if (= k 0)
        0 
        (/ n (+ d (finite-cont-frac n d (- k 1))))))

(define (e-2 n d k1 c k)
    (define (d-val) 
        (if (= (modulo k1 3) 1)
            (+ c 2)
            1))
    (define (c-val)
        (if (= (d-val) 1) c (d-val)))
    (if (= k 0)
        0 
        (/ n (+ (d-val) (e-2 n (d-val) (+ k1 1) (c-val) (- k 1))))))

(define (tan-cf n k d k1)
    (define (d-val)
        (if (= k1 0) 1 (+ d 2)))
    (if (= k 0) 
        0
        (/ n (+ (d-val) (tan-cf n (- k 1) (d-val) (+ k1 1))))))

(define (tan-man x kk)
    (let ((a (- (* x x))))
        (tan-cf a kk 1 0)))
(define rrr 80.0)
(define (main args)
    (let* ((k (string->number (list-ref args 1)))
           (phi (/ 1.0 (finite-cont-frac 1.0 1.0 k)))
           (e-2-val (e-2 1.0 1 0.0 0 k))
           (tt (/ (tan-man k 1000) (- 0.0 k))))
        (display tt)
        (newline)))

---

Answer 1

链接的答案看起来错误，您应该传递程序，而不是数字作为实际参数。使用名为accumulate 的帮助程序：

(define (accumulate combiner null-value term1 term2 a next b)
  (if (> a b)
      null-value
      (combiner (term1 a)
                (term2 a)
                (accumulate combiner
                            null-value
                            term1
                            term2
                            (next a)
                            next
                            b))))

(define (cont-frac n d k)
  (accumulate (λ (x y rec) (/ x (+ y rec)))
              0 n d 1 add1 k))

现在我们可以按预期调用该过程了：

(cont-frac (lambda (i) 1.0)
           (lambda (i) 1.0)
           10)
=> 0.6179775280898876