二进制算术过程中的“应用程序：不是过程”

Question

我有一个简单的球拍定义，用于将二进制数相乘。它使用经过良好测试的“ addWithCarry”定义，该定义带有三个参数：两个列表和一个进位数字，并返回二进制和。二进制数以相反的顺序表示为列表。

我使用调试器逐步完成了测试行，并且正确地进行了递归。每次适当缩小y列表时，它都会执行multBins，然后按预期进行addWithCarry函数。当它返回堆栈时，突然抛出异常“应用程序：不是过程，应为可以应用于自变量的过程”，其参数为'（0 0 0 1 0 1 1），这是最高值“ x”添加到总数中。我知道当您尝试将函数结果应用为带有参数的函数时，会发生此错误，但是我在这里看不到此错误。看着调试器，直到最后一切似乎都运转良好。有任何想法吗？

(define (multBins x y)

  (cond

    ((null? y)       '() )

    ((= (first y) 0) ((multBins (cons 0 x) (rest y))))

    (#t              ((addWithCarry x (multBins (cons 0 x) (rest y)) 0)))))  

(test (multBins '(1 0 1 1)'(1 1 0 1))'(1 1 1 1 0 0 0 1))

这是addWithCarry定义：

(define (addWithCarry x y carry)

  (cond

    ((and (null? x)(null? y)) (if (= carry 0) '() '(1)))

    ((null? x) (addWithCarry '(0) y carry))

    ((null? y) (addWithCarry x '(0) carry))

    ( #t  (let ((bit1 (first x))

            (bit2 (first y)))

               (cond

                 ((= (+ bit1 bit2 carry) 0) (cons 0 (addWithCarry (rest x) (rest y) 0)))

                 ((= (+ bit1 bit2 carry) 1) (cons 1 (addWithCarry (rest x) (rest y) 0)))

                 ((= (+ bit1 bit2 carry) 2) (cons 0 (addWithCarry (rest x) (rest y) 1)))

                 (   #t                     (cons 1 (addWithCarry (rest x) (rest y) 1))))))))

Answer 1

在这一行中，您multBins使用(cons 0 x)和进行调用(rest y)，并得到一些结果r，然后尝试调用r：((= (first y) 0) ((multBins (cons 0 x) (rest y))));                ^                              ^;                +--- function application -----+在下一行中，您正在addWithCarry使用一些参数进行调用，获取结果r并尝试调用r：(#t              ((addWithCarry x (multBins (cons 0 x) (rest y)) 0)))));                ^                                                 ^;                +-------------- function application -------------+可能'(0 0 0 1 0 1 1)是其中之一返回了不适用的值。在非常简化的情况下，请考虑DrRacket REPL的以下记录：> (define (value)        ; a function that returns the     '(0 0 0 1 0 1 1))    ; same value that yours should> (value)                ; calling it produces the value (0 0 0 1 0 1 1)> ((value))              ; calling it and then calling                         ; return value causes the same                         ; error that you're seeing; application: not a procedure;; expected a procedure that can be applied to arguments;  given: (0 0 0 1 0 1 1);  arguments...: [none]您没有提到您使用的是什么编辑器/ IDE /调试器，但是其中一些应该使它更容易发现。例如，当我打开你的代码（减去调用test，其定义我没有，用的定义first和rest），DrRacket凸显违规调用的位置：虽然我已经指出了两个有问题的调用，但都需要修复，但是您现在看到的错误是在这两个中的第二个发生。