方案：余数函数-违反合同

Question

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

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

或者基本上使用 ADD 而不是 + 等来进行数学运算。问题是当我调用我的 main 函数并且它使用 MOD(remainder) one

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

显示如下问题：

剩余：违反合同

预期：整数？

给定：'(MUL (DIV 8 4) (SUB 5 3))

参数位置：第 2 个

其他参数。

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)))))))