算术表达式计算 oz mozart

Question

我有一个问题，我真的不知道如何在OZ中实现它：假设给你一个由元组构造的树描述的算术表达式，如下所示：

1. 整数由元组 int（N） 描述，其中 N 是整数。
2. 加法由元组 add（X Y） 描述，其中 X 和 Y 都是算术表达式。
3. 乘法由元组 mul（X Y） 描述，其中 X 和 Y 都是算术表达式。

实现一个函数 Eval，该函数采用算术表达式并返回其值。

例如，add(int(1) mul(int(3) int(4))) 是一个算术表达式，其计算返回 13。

Answer 1

到目前为止

，您没有展示您的尝试，这有点令人遗憾。

无论如何。通常，在处理此类问题时，您会考虑递归。模式匹配是分析表达式的好方法。

例如，如果您能够评估int(4)那么如何通过简单的递归评估add(int(4) int(4))就很明显了：

declare
proc {Eval Exp Res}
   case Exp
   of int(N) then Res = N
   [] add(X Y) then
      local R1 R2 in
         {Eval X R1}
         {Eval Y R2}
         Res = R1 + R2
      end
   end
end

现在，您可以使用mul或任何其他表达式对其进行扩展。