如何在Haskell函数中执行多个操作：同时返回值并修改变量

Haskell是纯函数式编程语言，默认所有绑定的值都是不可变常量，且纯函数不允许产生副作用（比如修改外部变量），所以你想要的「同时返回结果+修改全局状态」的需求，需要借助可变引用IORef和IO Monad实现。

实现代码 #

-- 导入IORef相关工具
import Data.IORef

main :: IO ()
main = do
  -- 初始化可变全局变量，初始值为0
  number <- newIORef 0

  -- 实现你需要的function函数
  let function :: String -> IO String
      function s = do
        -- 第一步：修改number的值，自增1
        modifyIORef' number (+ 1)
        -- 第二步：返回拼接后的字符串
        return $ s ++ " world"

  -- 测试效果
  readIORef number >>= print -- 输出 0
  function "hello" >>= print -- 输出 "hello world"
  readIORef number >>= print -- 输出 1

GHCi交互测试步骤 #

如果你要在GHCi里直接跑，按下面顺序输入即可：

1. 导入依赖：import Data.IORef
2. 创建可变引用：number <- newIORef 0
3. 定义自增操作：let increment = modifyIORef' number (+1)
4. 定义目标函数：let function s = increment >> return (s ++ " world")
5. 测试效果：
   • 输入readIORef number返回0
   • 输入function "hello"返回"hello world"
   • 再次输入readIORef number返回1

注意说明 #

你原来的写法不符合Haskell的核心设计规则：没有标注IO的纯函数绝对不能操作外部可变状态，所有带副作用的操作都必须显式放到IO Monad中，函数返回类型也需要对应加上IO标识。

内容的提问来源于stack exchange，提问作者user13425812