haskell - 状态单子和 gtk2hs

Question

我试图在我的 GUI 应用程序上保留一些状态，以便我能够从用户输入中构造一个值列表。但是我很难理解 State monad 所以......
这里有一些测试代码来说明我想要什么（很明显它不会编译，甚至没有尝试过）：

-- // --

main :: IO ()
main = do
   initGUI
   build <- builderNew
   builderAddFromFile build "test.glade"

   mainWindow <- builderGetObject build castToWindow "mainWindow"
   mainWindow `onDestroy` mainQuit

   mQuit <- builderGetObject build castToButton "quit"
   mQuit `onClicked` mainQuit

   entry   <- builderGetObject build castToEntry "entry"
   mUpdate <- builderGetObject build castToButton "update"

   mUpdate `onClicked` do
      txt <- entryGetText entry
      runState (addToList txt) []
      return ()

   widgetShowAll mainWindow
   mainGUI

-- // --

addToList :: String -> State [String] ()
addToList ent = get >>= \x -> put $ x ++ [ent]

无论如何，我认为我应该使用 StateT 而不是 State，但它在我的脑海中完全是一团糟（已经阅读了这么多 tutos ......）。即使它有效，也不是很好，因为我在每个循环中都给出了 [] 的初始状态。问题是如何编写函数 addToList 以便每次按下更新按钮时，用户输入都会添加到某个状态（先前输入的列表）？

Answer 1

首先，State已经是StateT

type State s = StateT s Identity

也许您需要使用 StateT 1 级，如下所示：

runStateT $
put []
lift $ mUpdate `onClicked` do
   txt <- lift $ entryGetText entry
   listWas <- get  
   put $ txt : listWas   --in reverse order
   return ()