Здравствуйте. Прохожу довольно старенький курс по Хаскеллю. В данный момент

Question

Здравствуйте. Прохожу довольно старенький курс по Хаскеллю. В данный момент

трансформеры монад. Локально, работая в монаде StateT Integer (Writer (Sum Integer)) забыл сделать лифтинг для функции tell из Writer, однако всё заработало и без лифтинга. Как можно понять, почему в новой версии языка так получается?

#haskell #programming #russian

0

21.08.2023

9 ответов

10 просмотров

Исан Васильевна Автор вопроса

Cheese Syrowiecki
посмотрите на тип tell

tell :: MonadWriter w m => w -> m (). Раньше не видел такого класса

0

21.08.2023

Ignat Loskutov

Возможно, предполагается, что StateT должен приходить из пакета transformers, а у вас из mtl

0

21.08.2023

Cheese Syrowiecki

Исан Васильевна
tell :: MonadWriter w m => w -> m (). Раньше не ви...

вот поэтому и работает. потому что через класс MonadWriter другие трансформеры могут "переносить" свойства Writer

0

21.08.2023

Исан Васильевна Автор вопроса

Cheese Syrowiecki
вот поэтому и работает. потому что через класс Mon...

Спасибо. Буду разбираться с этим классом

0

21.08.2023

Cheese Syrowiecki

Исан Васильевна
Спасибо. Буду разбираться с этим классом

да там всё тупенько. Writer реализует MonadWriter так, как в вашем учебнике написано. а остальные — всего лишь передают управление следующей монаде в стопке

0

21.08.2023

Cheese Syrowiecki

вообще, mtl — индустриальный стандарт, можно сказать, так что всё нормально

0

21.08.2023

Исан Васильевна Автор вопроса

Cheese Syrowiecki
вообще, mtl — индустриальный стандарт, можно сказа...

То есть лучше его, чем import Control.Monad.Trans ?

0

21.08.2023

Исан Васильевна Автор вопроса