如何通过Scotty HTTP API实现IO状态的跟踪与修改？

你的期望写法不可行，核心原因是Scotty的路由处理逻辑运行在ActionM monad中，无法直接访问你自定义的STM状态转换器的状态。STM是将状态作为参数传递的纯函数包装，而Scotty启动后是长期运行的多线程服务，路由请求是异步触发的，没法自动携带这个状态参数。

为什么原写法走不通？ #

你用lift把scotty调用包装进STM，但路由里的updateCounterByOneInState和getCounterFromState根本找不到你的状态上下文——ActionM和你的STM没有任何关联，无法共享状态参数。

正确的实现方式 #

Scotty是多线程服务器，推荐使用线程安全的共享状态容器来实现请求间的状态修改，比如TVar（来自stm包，支持原子操作）或带锁的IORef。以下是两种实用方案：

方案1：用TVar实现线程安全的状态管理

TVar是STM事务型变量，天生支持原子操作，适合多线程环境下的状态修改：

import Web.Scotty
import Control.Concurrent.STM
import Data.Aeson (object, (.=))

port :: Int
port = 8080

type AppState = Int

main :: IO ()
main = do
    print $ "Starting Server at port " ++ show port
    -- 初始化线程安全的状态变量
    initialState <- newTVarIO 0
    scotty port $ do
        get "/start" $ do
            -- 在STM事务中原子更新状态
            newCount <- liftIO $ atomically $ do
                current <- readTVar initialState
                let new = current + 1
                writeTVar initialState new
                return new
            -- 自动生成JSON（避免手动拼接字符串的错误）
            json $ object ["count" .= newCount]

方案2：用ReaderT注入状态（更优雅的复杂场景）

如果需要在多个路由中共享状态，可以用ReaderT把状态注入到所有路由处理函数中：

import Web.Scotty
import Control.Concurrent.STM
import Data.Aeson (object, (.=))
import Control.Monad.Reader (ReaderT, runReaderT, ask)
import Control.Monad.IO.Class (liftIO)

port :: Int
port = 8080

type AppState = TVar Int
-- 自定义带状态的Action类型
type AppAction a = ReaderT AppState IO a

-- 将自定义Action转换为Scotty的ActionM
runAppAction :: AppState -> AppAction a -> ActionM a
runAppAction state action = liftIO $ runReaderT action state

main :: IO ()
main = do
    print $ "Starting Server at port " ++ show port
    initialState <- newTVarIO 0
    scotty port $ do
        get "/start" $ runAppAction initialState $ do
            stateTVar <- ask
            newCount <- liftIO $ atomically $ do
                current <- readTVar stateTVar
                let new = current + 1
                writeTVar stateTVar new
                return new
            return $ json $ object ["count" .= newCount]

总结 #

• 自定义的STM状态转换器不适合Scotty的异步多线程场景，因为无法将状态参数传递给异步触发的路由处理函数。
• 推荐优先使用TVar管理共享状态，它的原子操作天然适配多线程环境，无需额外加锁。
• 复杂业务场景下，可以结合ReaderT封装状态上下文，减少重复代码。

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