TA
Задача именно завернуть стейт в какой-то тип...
Т.е. у меня есть какой-то StateT s m b и я потом буду заворачивать s в w...
Т.е. у меня есть какой-то StateT s m b и я потом буду заворачивать s в w...
Size: a a a
2020 June 26
TA
Но мне кажется,что с моноидом это хотя-бы более обобщенно...
TA
А () не моноид?
TA
Но под мою задачу это уже не подойдёт...
TA
Да, действительно обобщение...
TA
Хотя ,я уже понял,что State мне не особо нужен...
Я заменю его на Reader а заменой set/get будет какая-то абстрактная монада m...
get :: k -> m v
set :: k -> v -> m ()
Я заменю его на Reader а заменой set/get будет какая-то абстрактная монада m...
get :: k -> m v
set :: k -> v -> m ()
TA
Я думаю мне просто с Reader будет проще работать...
Т.к. у меня в коде и reader и State
Т.к. у меня в коде и reader и State
TA
Но вообще это довольно спорно...
Т.к. с Reader намного проще,но потом все равно придется даже после использования State в монаду пихать set k v...
Т.к. с Reader намного проще,но потом все равно придется даже после использования State в монаду пихать set k v...