lomeo | Про трансформеры

Ещё ничего интересного не прочитал, но уже очень нравится.

Здорово. Весёлая статья, спасибо. ;)

как бы она пригодилась мне чуть меньше года назад! Эх!

Замечательно! Теперь для полного прояснения сознания исходники трансформеров разобрать осталось.

Сразу ламерский вопрос: можно ли написать что-то навроде
StateT чё-то (ErrorT String (StateT ещё-чё-то какая-нибудь монада)) ?
Или методы из первого и второго StateT будут сталкиваться именами?

Конечно можно. Методы сталкиваться не будут, потому что для высасывания второй монады состояния предётся делать lift $ lift $. Например,


type MyCoolT = StateT MyData1 (ErrorT String (StateT MyData2 IO)) ()

updateBoth :: (MyData1 -> MyData1) -> (MyData2 -> MyData2) -> MyCoolT
updateBoth funOnType1 funOnType2 = do
    modify funOnType1
    lift $ catchError
                (lift $ modify funOnType2 >> (lift $ print "xe-xe"))
                (\e -> liftIO $ print "Error! :-)")

В данном случае, скорее всего обработка не нужна и у тебя уже будет готовая функция liftState2 = lift . lift, тогда


updateBoth :: (MyData1 -> MyData1) -> (MyData2 -> MyData2) -> MyCoolT
updateBoth funOnType1 funOnType2 = do
    modify funOnType1
    liftState2 $ modify funOnType2

Примерно так.

Если ErrorT e (StringT ...

уже содержит слифтенный get, то у тебя получился лишний lift

PS: и вообще, я уже наелся этими трансформерами

s/StringT/StateT

Промазал немного

А чёрт, про пересечения трансформеров вечно забываю...
А что наелся? Что взамен то?

в моем случае взамен IORef ;)

ну, можно и так :-)

Статья на эту же тему:

http://web.cecs.pdx.edu/~mpj/pubs/modinterp.html

Спасибо! Хорошая статья.

newtype ReaderT r m a = ReaderT { runReaderT :: r -> m a }
зачем здесь newtype? Чтобы нельзя было руками конструктор ReaderT вызвать?
Чё-то у меня как-то плохо с пониманием newtype. :(

А об instance Monad ((->) r) я чуть моск не сломал

В смысле, что значит руками вызвать?

newtype оборачивает один тип так, что bottom обёрнутого типа становится bottom для newtype, при оборачивании с помощью data мы будем различать bottom обёрнутого типа и самого. т.е. по идее самого типа нет, это только фича type checker. больше отличий вроде нет.

Поэтому, возможно, это делается для требуемого поведения при исключениях. Возможно, для эффективности (лишнего типа нет). хз.

Здесь на самом деле будет тип r -> m a, т.е. после компиляции runReaderT вызываться не будет - такой функции просто нет.

Это я так думаю, честно говоря. Надо почитать.

Чем от type отличается? С помощью type делается вообще точная копия, а не только bottom.

тем, что при type - тип тот же, но синоним, а здесь другой (например можешь для этого типа сделать другой инстанс какого нибудь класса).

Про инстанс я понимаю. А в жизни это зачем нужно? Вот тут у них, типа, конструктор свой, поэтому стандартных инстансов нет, так что, newtype используется не за этим.

Похоже, для экономии. Памяти под конструкторы или ещё чего-нибудь этакого. Я StateMonad писал через data - и ничего, работала. А у них через newtype.

Мы вроде type уже обсуждаем, а не data? Для data всё понятно - эффективность, тип то тот же самый остаётся.

Имхо, потому что синоним не позволяет полморфные типа, в данном случае не опишешь синоним для r -> m a.
А newtype позволяет определить тип со своим порядком следования полиморфных типов. И тогда мы можем сказать типа Monad (ReaderT r m) или MonadTrans (ReaderT r). Может быть за этим?

В смысле, описать то type MyReaderT r m a = r -> m a сможешь, а вот instance MonadTrans (MyReaderT r) хрен сделаешь, если я не ошибаюсь.

Да, GHC не даёт. Я, правда, не понимаю, как он это обосновывает.

ХЗ, сейчас на ru_lambda спрошу.

можно сделать трансформатор своими руками, написав instance MonadTrans?

правильно.

c помощью MonadTrans можно сделать только лифтера. Для этого он, собственно, и служит

Про трансформеры

Спасибо!

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

Monad Transformers and Modular Interpretator

Re: Monad Transformers and Modular Interpretator

читаю

Re: читаю

Re: читаю

Re: читаю

Re: читаю

newtype

Re: newtype

Re: читаю

Re: читаю

Re: читаю

Я правильно понял, что

Re: Я правильно понял, что

Re: Я правильно понял, что