haskell - 模拟评估者

Question

我正在使用 Haskell 模拟评估器。应该很简单，但我无法调试。

这里我将State定义为查找函数(String -> Int)，初始状态(empty，异常变量评估0)，并extend将新键(及其值)添加到base环境中:

type State = String -> Int

extend :: State -> String -> Int -> State
extend base key val = \x -> if key == x
                                 then val
                                 else base key

empty :: State
empty = \x -> 0

当我测试程序时:

aState = extend empty  "A" 5
bState = extend aState "B" 4
cState = extend bState "C" 3

我认为cState应该相当于一个函数:

\x -> if x == "C"
          then 3
          else if x == "B"
                   then 4
                   else if x == "A"
                            then 5
                            else 0

但是，我得到了 cState "B"== 0 和 cState "A"== 0。

我看不出 extend 有什么问题，有人可以向我解释一下吗？

Answer 1

在 else 语句中，您在每个递归中搜索 key(而不是 x):else base key。修复它:

extend :: State -> String -> Int -> State
extend base key val = \x -> if key == x
                                 then val
                                 else base x

<小时/>

顺便说一句，你可能会写:

empty :: State
empty = \_ -> 0

因为 empty 返回 0，无论输入如何。