Haskell -维护全局变量的不同状态

在函数式编程语言如Haskell中，全局变量和可变状态是被避免的，因为它们可能导致副作用和不可预测的行为。然而，有时你可能需要在程序的不同部分之间共享和更新状态。在这种情况下，你可以使用一些特定的Haskell构造，如IORef，MVar，TVar或State Monad。

以下是使用State Monad维护状态的一个简单示例：

import Control.Monad.State

type GlobalState = Int

increment :: State GlobalState ()
increment = do
    val <- get
    put (val + 1)

main :: IO ()
main = do
    let initialState = 0
    let finalState = execState (increment >> increment >> increment) initialState
    print finalState  -- 输出：3

在这个示例中，我们定义了一个类型别名GlobalState作为我们的全局状态，这里是一个整数。然后我们定义了一个increment函数，它获取当前状态，增加它，并将结果放回状态。在main函数中，我们使用execState函数运行我们的状态操作，并提供一个初始状态。最后，我们打印出最终的状态。