AV
Суть высказывания не в том, что это оффтоп, тут он иногда бывает, а что это бесполезное занудство :)
Size: a a a
2020 November 22
MP
Добрый вечер, являются ли StateT s IO и ReaderT (IORef s) IO взаимозаменяемыми? (в плане моделирования изменяющегося состояния)
AFAIK, у них будет разное поведение, если выбрасывается исключение, StateT "откатится", а IORef будет содержать последнее значение
к
Добрый вечер, являются ли StateT s IO и ReaderT (IORef s) IO взаимозаменяемыми? (в плане моделирования изменяющегося состояния)
нет
AV
Добрый вечер, являются ли StateT s IO и ReaderT (IORef s) IO взаимозаменяемыми? (в плане моделирования изменяющегося состояния)
Не являются
AV
У второго семантика забывания изменений в случае исключений; а у второго сохранения
KV
А ещё один и тот же реф могут делить несколько тредов
MK
Ответ академика: являются
MK
Ответ практика: исключения!
KV
Ответ практика: исключения!
Хуже всего то, что исключения тоже академики придумали, чтобы подгадить другим академикам
MP
StateT IO не может откатиться
"откатится" значение заданное через put, как я понимаю
AV
Ну <|> тоже не будет одинаковым кажется?
MK
Хуже всего то, что исключения тоже академики придумали, чтобы подгадить другим академикам
Разве? Есть пейперы про хаскельные исключения?
MP
ну и Правильный Ответ "нет, потому что многопоточность"
АК
Но второе строго сильнее первого
А какие у StateT есть ограничения?
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
AV
Разве? Есть пейперы про хаскельные исключения?
Конечно!