А мастера HFM когда им нужен стейт просто используют ioref,

{-# LANGUAGE RankNTypes, LambdaCase, DerivingStrategies, DeriveFunctor #-} import Control.Monad (ap, liftM) import Control.Monad.State data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Functor (Free f) where fmap = liftM instance Functor f => Applicative (Free f) where pure = Pure; (<*>) = ap instance Functor f => Monad (Free f) where Pure x >>= f = f x Free x >>= f = Free (fmap (>>= f) x) data FreeStateF s a = Get (s -> a) | Put s a deriving stock Functor type FreeState s a = Free (FreeStateF s) a freeGet :: FreeState s s freeGet = Free $ Get Pure freePut :: s -> FreeState s () freePut state = Free $ Put state (Pure ()) runFreeM :: Monad m => (forall x. f x -> m x) -> Free f a -> m a runFreeM f (Pure x) = pure x runFreeM f (Free x) = f x >>= runFreeM f runFreeStateToState :: FreeState s a -> State s a runFreeStateToState = runFreeM \case Get cont -> do state <- get pure $ cont state Put state next -> do put state pure $ next app :: FreeState Int (Int, Int) app = do a <- freeGet freePut (a + 10) b <- freeGet pure $ (a, b) main = print $ flip evalState 5 $ runFreeStateToState $ app -- (5, 15)

0

29.09.2020

Kirill Valyavin · Accepted Answer

Kirill Valyavin

Ну типа по идее нужно описать интерфейс для этого стейта и использовать его, а будет ли в реализации иореф, монада State или ещё какая гадость, должно быть неважно

0

29.09.2020

169 похожих чатов

А мастера HFM когда им нужен стейт просто используют ioref,

5 ответов

Похожие вопросы