r5rs：不是程序错误

Question

这是我出来的代码（显示所有长度为 n 的平衡括号对）

(define (combine-list l r)
(append l  (cons r '())))

;(combine-list '(1 2 3) '(4 4))

(define(bps n)
  (bps-iter '() (/ n 2) 0 0))


(define (bps-iter lst n open close) (;(display open) (display close) (display "\n")
  (cond ((eq? n close) (display lst)) 
        (else ((if (> open close)
                        (bps-iter (combine-list lst 1) n open (+ 1 close) ))
              (if (< open n)
                       (bps-iter (combine-list lst 0) n (+ open 1) close))) 
       )
        )))

(bps 4)

结果是

application: not a procedure;
expected a procedure that can be applied to arguments
  given: #<void>
  arguments...: [none]

当它完成调用（eq?n close）并返回'else'寻找另一组括号时有什么问题吗？

Answer 1

你的问题是：

((if (> open close)
     (bps-iter (combine-list lst 1) n open (+ 1 close)))
 (if (< open n)
     (bps-iter (combine-list lst 0) n (+ open 1) close)))

这有这样的结构：

((if predicate
     consequence
     'undefined)
 (if predicate2
     consequence2
     'undefined))

两个if 的结果要么是bps-iter 的结果，要么是一些未定义的值。假设这两个可以缩写为if-exp1 和if-expr2，那么你得到：

(if-expr1 if-expr2)

由此可以安全地得出结论，如果 predicate1 不为真，您将尝试调用 undefined，就好像它是一个函数一样，如果它为真，bts-iter 至少应该返回一个函数。由于这些都不是真的，它注定要失败。

如何使用如果：

(if predicate
    consequence
    alternative) ; optional in R6RS, turns into undefined

这些可以嵌套。