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

[lomeo]

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

Comments

читаю

[nealar.livejournal.com]

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

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

Re: читаю

[lomeo.livejournal.com]

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

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

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

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

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

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 спрошу.