方案:余数函数 - 违反合约

Question

我正在创建一个实际上执行以下操作的函数:

(mateval '(ADD 3 (MUL 2 5))
13
(mateval '(MOD 10 (MUL (DIV 8 4) (SUB 5 3))))
2

或者基本上使用 ADD 而不是 + 等进行数学计算。问题是当我调用主函数并且它使用 MOD(余数) 时

(mod
 (lambda (exp)
  (cond((null? exp) null)
       ((null? (cdr exp)) null)
       (else(remainder (init (car exp))(init (cdr exp)))))))

它显示以下问题:

remainder: contract violation

expected: integer?

given: '(MUL (DIV 8 4) (SUB 5 3))

argument position: 2nd

other arguments.:

Init 是在需要时调用其他函数的函数:

(init
 (lambda (exp)
  (cond((not(pair? exp)) exp)
       ((null? exp) null)
       ((null? (cdr exp))(car exp))
       ((eqv? 'ADD (car exp))(add (cdr exp)))
       ((eqv? 'SUB (car exp))(sub (cdr exp)))
       ((eqv? 'MUL (car exp))(mul (cdr exp)))
       ((eqv? 'DIV (car exp))(div (cdr exp)))
       ((eqv? 'MOD (car exp))(mod (cdr exp)))
       (else null))))

其他函数具有类似的代码，因此似乎只有余数(也尝试过取模)函数造成了麻烦。尝试了很多次，不是语法错误，我什至在第一个参数中添加了相同的内容，它只在第二个参数时崩溃，不知道发生了什么，似乎只是想让第二个参数崩溃。它不是在“init”中使用 (cdr exp)，而是直接抛出 (cdr exp) 并崩溃。有任何想法吗？感谢您的阅读。

Answer 1

在最后一行，您需要访问表达式的 cadr，而不是 cdr - 请尝试以下操作:

(mod
 (lambda (exp)
   (cond ((null? exp) null)
         ((null? (cdr exp)) null)
         (else (remainder (init (car  exp))
                          (init (cadr exp)))))))