r5rs:不是程序错误

时间:2017-12-13 16:10:36

标签: scheme parentheses r5rs

这是我出来的代码(显示长度为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'寻找另一组括号时是否有任何问题?

1 个答案:

答案 0 :(得分:0)

你的问题是:

((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,那么你得到:< / p>

(if-expr1 if-expr2)

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

如果使用如何:

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

这些可以嵌套。