使用+， - ，*和/

Question

对表达式执行符号和数字操作的LISP函数我目前正在为一个小型项目开展LISP练习，需要严格的帮助。这可能或多或少是一个初学者的问题，但我完全丧失了编写某个函数的功能，这个函数需要两个未评估的函数，并根据变量是否赋值分配结果。

一个例子是

(setq p1 '(+ x (* x (- y (/ z 2))))) 

凡

(evalexp p1 '((x 2) (z 8))) 
    returns (+ 2 (* 2 (- y 4))) 

我的目标是编写evalexp功能，但我也别想从哪里开始。

到目前为止，我有

(defun evalexp (e b)) 

..不是很多。如果任何人都可以请求帮助或带领我走向一个好的方向，我会更感激。

Answer 1

下面是一个完整的解决方案。这很直接，所以我会留下一个完整的解释。如果有什么你无法弄清楚自己，请在评论中问我。

（使用eval做实际的评估可能不是你在运动/项目想要的东西。查找“元圆解释”的另一种方式。）

(defun apply-env (exp env) 
    (reduce (lambda (exp bdg) (subst (cadr bdg) (car bdg) exp)) 
      env :initial-value exp)) 

(defun try-eval (exp) 
    (if (atom exp) 
     exp 
     (let ((exp (mapcar #'try-eval exp))) 
     (if (every #'numberp (cdr exp)) 
      (eval exp) 
      exp)))) 

(defun evalexp (exp env) 
    (try-eval (apply-env exp env))) 

Answer 2

这里有一个提示，这是你会怎么做（在伪代码）：

function replace(vars, list): 
    for each element of list: 
     if it's an atom: 
      if there's an association in vars: 
       replace atom with value in vars 
      else: 
       leave atom alone 
     else: 
      recursively apply replace to the sublist 

肯定会有一些细节需要处理，你将它转换为Lisp代码。