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

[lomeo]

Хорошая статья про монад-трансформеры для тех, кто ещё не понимает как с ними работать:
Monad transformers step-by-step

Comments

Re: читаю

[nealar.livejournal.com]

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

Re: читаю

[lomeo.livejournal.com]

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

Re: читаю

[nealar.livejournal.com]

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

newtype

[nealar.livejournal.com]

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

Re: newtype

[lomeo.livejournal.com]

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

Re: читаю

[lomeo.livejournal.com]

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

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

Re: читаю

[nealar.livejournal.com]

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

Re: читаю

[lomeo.livejournal.com]

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