哈斯克爾 - 存儲變量

Question

我寫簡單的解釋器，我想存儲變量。到目前爲止我有：

-- MyEnv is a map from strings into integers 
type MyEnv = M.Map String Int 
type TCM a = ErrorT String (StateT MyEnv IO) a 

我有一個定義

ms_assgn :: Assgn -> TCM() 
ms_assgn (Assgn (Ident ident) exp) = do 
    map <- get 
    w1 <- ms_exp exp 
    put (M.insert (ident w1 map)) 

，我已經獲得了以下mistatkes：

Interpret.hs:118:5: 
Couldn't match type `Envnt' with `a0 -> M.Map k0 a0 -> M.Map k0 a0' 
When using functional dependencies to combine 
    MonadState s (StateT s m), 
    arising from the dependency `m -> s' 
    in the instance declaration in `Control.Monad.State.Class' 
    MonadState (a0 -> M.Map k0 a0 -> M.Map k0 a0) (StateT Envnt IO), 
    arising from a use of `put' at Interpret.hs:118:5-7 
In a stmt of a 'do' block: put (M.insert (ident w1 map)) 
In the expression: 
    do { map <- get; 
     w1 <- ms_exp exp; 
     put (M.insert (ident w1 map)) } 

Interpret.hs:118:20: 
Couldn't match expected type `Integer -> Envnt -> k0' 
      with actual type `[Char]' 
The function `ident' is applied to two arguments, 
but its type `String' has none 
In the first argument of `M.insert', namely `(ident w1 map)' 
In the first argument of `put', namely `(M.insert (ident w1 map))' 

當我註釋掉最後一行用放和替換它與返回（）它沒有任何合理的，但至少它編譯。 的ms_assgn功能我的理解是這樣的：

• 首先，我讓我的當前狀態
• 下一個我eveluate EXP到W1
• Finanlly我想UPADTE我的狀態

什麼是錯的用它？任何提示？

Answer 1

這只是一組額外的括號。

M.insert (ident w1 map) -- wrong 

的insert函數類型k -> a -> Map k a -> Map k a，但這些額外的括號意味着你正在呼籲ident就好像它是一個功能。

M.insert ident w1 map -- correct 

然而，作爲一個語義問題，你可能會遇到意想不到的行爲，如果ms_exp exp修改環境，因爲這些更改將丟失。我會動議環境的改變上面：

ms_assgn (Assgn (Ident ident) exp) = do 
    w1 <- ms_exp exp 
    map <- get 
    put $ M.insert ident w1 map 

而一個get接着是put可改爲一modify，鑽營insert。順便說一句，如果你想知道爲什麼Map k a是insert的最後一個參數，這就是原因。

ms_assgn (Assgn (Ident ident) exp) = do 
    w1 <- ms_exp exp 
    modify $ M.insert ident w1 

，如果你喜歡，你可以找出兩個do線其實只是一個單一的>>=，所以......

ms_assgn (Assgn (Ident ident) exp) = 
    ms_exp exp >>= modify . M.insert ident 

你可以看到，而不是使用勢在必行do中，數據通過一元綁定運算符>>=流入修改環境的操作。