KV
Разве? Есть пейперы про хаскельные исключения?
Канеш
Size: a a a
2020 November 22
AV
А как их в язык то втащили
AV
Без пейпера тогда никак было бы
MK
А какие у StateT есть ограничения?
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
Monad-control
AV
А какие у StateT есть ограничения?
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
Прост у меня есть кусок кода с StateT - хочу в нем захватить стейт, но как это сделать не могу понять. Переписал его на IORef в ридере, но не нравится, что появляется IO где нет взаимодействия с внешним миром
Стейт не сохраняется при обрывах вычисления, но это фича скорее
MK
Ридер с иореф мощнее тем что форкаться можно с понятной семантикой
KV
Он вшивый
AV
Ридер с иореф мощнее тем что форкаться можно с понятной семантикой
Ну кстати вот неочевидно какая семантика должна быть
KV
ага, этот Alternative как раз про исключения
Причём про какие-то конкретные, а не любые
AV
Должны ли изменения жить только в дочернем или попадать в родительский
2020 November 23
AV
Мой любимый asum со StateT IO сработает
АК
Ридер с иореф мощнее тем что форкаться можно с понятной семантикой
У меня совсем простой случай, те https://repl.it/@sigevsky/SpryBigLegacy#main.hs что-то вроде такого нужно через StateT выразить
MK
Должны ли изменения жить только в дочернем или попадать в родительский
Можно обе семантики сделать
MK
А со стейтт только одну
к
У меня совсем простой случай, те https://repl.it/@sigevsky/SpryBigLegacy#main.hs что-то вроде такого нужно через StateT выразить
type SM a = StateT [[Int]] IO a
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
MK
type SM a = StateT [[Int]] IO a
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
push :: Int -> SM ()
push x = modify (\(cur:rest) -> ((x:cur):rest))
А теперь within new frame напиши