В чем разница между import Control.Monad.State import Control.Monad.Trans.State import Control.Monad.State.Strict import Control.Monad.Trans.State.Strict ? есть примеры

Question

Haskell

Alexander🌀

В чем разница между import Control.Monad.State import Control.Monad.Trans.State import Control.Monad.State.Strict import Control.Monad.Trans.State.Strict ? есть примеры

кода, где видны различия?

#haskell #programming #russian

0

10.04.2022

2 ответов

8 просмотров

TOV_MULTIMASSO

TL;DR: import Control.Monad.State.Strict

0

10.04.2022

TOV_MULTIMASSO · Accepted Answer

import Control.Monad.Trans.* - это из пакета transformers, там объявлены сами типы. Работать через этот импорт можно, но неудобно, придётся в подлежащий стек монад руками всё протаскивать через MonadTrans(lift). import Control.Monad.State.* - это из пакета mtl, который расширяет transformers удобными ручками и позволяет делать вот так bar :: MonadState Foo m => Int -> m Int, т.е., написать функцию работающую с любой монадой m, реализующей MonadState. Например с ReaderT Env (StateT St IO). Используя трансформеры напрямую, пришлось бы делать do lift (put st1); lift (lift (print st1)), с mtl же можно просто do put st1; liftIO (print st1). — *.Strict - это для случаев, когда стейт нужен не-ленивый - то есть, почти всегда.

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

В чем разница между import Control.Monad.State import Control.Monad.Trans.State import Control.Monad.State.Strict import Control.Monad.Trans.State.Strict ? есть примеры

2 ответов

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