方案：取余函数-违约

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

它显示了以下问题：

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

方案：取余函数-违约

Scheme: Remainder function - contract violation

scheme

modulo