CIS 194锻炼混乱

Question

我学习Haskell对我自己和我通过锻炼在独联体homework 194困惑：

练习1之前，我们就可以开始评估表达式和语句，我们需要一些方法来存储并查找变量的状态。我们将一个状态定义为类型为String - > Int的函数。这使得查找变量的值非常容易;在状态中查找 “A”的值，我们只需调用状态“A”。每当我们分配一个变量时，我们都想更新程序状态。实现以下功能： 延长::状态 - >字符串 - >内部 - >国家

提示：您可以使用输入状态作为一个黑盒子为其他 比你分配一个变量。

例子： 让ST” =延长ST圣 “A” 5 ” “A” == 5

我根本不明白它的要求和示例。这是如何提供查找“A”价值的方法？由于State被定义为type State = String -> Int，extend的类型是String->Int->String->Int->State？

Answer 1

关闭。鉴于

type State = String -> Int 
extend :: State -> String -> Int -> State 

“真正的” 类型的extend时（注意括号）

extend :: (String -> Int) -> String -> Int -> (String -> Int) 

或

-- because -> is right-associative 
extend :: (String -> Int) -> String -> Int -> String -> Int 

的第一个参数extend是String -> Int类型的函数，而不是一个String值。

---

extend并不意味着查找“A”的值;它意在创造一个新的状态，其中“A”的值具有给定的值。例如：

let st' = let st "A" = 3 in extend st "A" 5 
let st'' = extend "B" 2 st' 

在st'仰视 “A” 应该产生的5的值，不3.同样地， “B” 中未st'定义，但在st''。

>>> st' "A" 
5 
>>> st'' "A" 
5 
> st' "B" 
*** Exception: <interactive>:2:5-15: Non-exhaustive patterns in function st' 
>>> st'' "B" 
2