Usa StateT all'interno di Web.Scotty

Question

Sto provando a creare un server Web stupido che memorizza i dati come State. Sto usando Web.Scotty. I've used ReaderT before with scotty to access config, ma seguire lo stesso approccio non funziona qui. Reimposta lo stato su ogni richiesta.

Desidero impostare lo stato iniziale all'avvio del programma, quindi mantenere lo stesso stato per tutta la durata del programma.

Come posso fare questo lavoro? (Di seguito crea un nuovo stato ogni richiesta)

{-# LANGUAGE OverloadedStrings #-} 
import Web.Scotty.Trans 
import Control.Monad.State (StateT, evalStateT, lift) 
import qualified Control.Monad.State as S 
import Data.Text.Lazy (Text) 

main :: IO() 
main = do 
    let runner = flip evalStateT "message" 
    scottyT 3000 runner runner routes 

routes :: ScottyT Text (StateT Text IO)() 
routes = do 

    get "/data" $ do 
    val <- lift S.get 
    text val 

    put "/data/:val" $ do 
    val <- param "val" 
    lift $ S.put val 
    text val 

Answer 1

Il comportamento che state vedendo è sicuramente quello atteso: nota il commento sul terzo argomento nella documentation for scottyT:

-> (m Response -> IO Response) - Run monad m in IO, chiamato ad ogni azione.

Che cosa si potrebbe fare è memorizzare lo stato esterno al StateT monade, in modo da poter ripristinare nel gestore di ogni azione. Il modo più ingenuo che posso pensare di farlo sarebbe qualcosa di simile:

main :: IO() 
main = do 
    let s0 = "message" 
    let transform = flip evalStateT s0 
    runner <- restartableStateT s0 
    scottyT 3000 transform runner routes 

restartableStateT :: s -> IO (StateT s IO a -> IO a) 
restartableStateT s0 = do 
    r <- newIORef s0 
    return $ \act -> do 
     s <- readIORef r 
     (x, s') <- runStateT act s 
     atomicModifyIORef' r $ const (s', x) 

, ma questo in realtà non affrontare quello che dovrebbe accadere se due richieste stanno arrivando in concomitanza, è solo "ultimo a finire vittorie ".