支持一个变量的小型数学类型语言的评估

Question

我已经编写了读取字符串输入的解析器。那行得通。我还编写了吐出结果的评估器。但有一个小细节我在实施时遇到了麻烦。看下面的例子：

+(sw+(2,2),sr)

这个小语言的 sw 构造应该计算“+(2,2)”并将其存储在某个地方。 sr 构造将读取该存储区域。整个表达式的计算结果为 8。

我的想法是为函数 eval 使用一个额外的参数来存储结果。但我看不出这能奏效。请注意，我是 Haskell 的新手，所以请友善。哦，这是作业。所以不要给我解决方案，给我提示。

Answer 1

由于表达式可以读取和写入存储区域，因此您的评估函数应该获取内存状态作为参数，并在结果中返回新状态。

 evaluate :: Expr -> Int -> (Float, Int)

[其中Int是存储类型，Float是结果类型，当然你可以更改]。

在实现evaluate(Sum ab)时，需要将内存传递给evaluate a，获取新的内存值并将其交给evaluate b。

     |
     |  m
    \ /
|----------|   x
|evaluate a|--------|
|-----------        |
     |              |
     |  m'          |
    \ /            \ /
|----------|  y    ---
|evaluate b|----->| + |
|----------|       ---
     |              |
     |              |
    \ /            \ /
   final           final
   value of        result
   memory

使用模式匹配。您可以从 let (x,m') =valuate am in ... 开始。