A
ну а у меня семантика завязана на стейт же
Size: a a a
2021 January 17
AP
Тогда нужно было делать, как кана сказал
AP
State World [a] и использоватьAP
Трансформеры нужны там, где не пишешь инстансы
AP
Чтобы просто композить.
У вас же только кода больше от того, что StateT
У вас же только кода больше от того, что StateT
A
мм.. стоп, мне нужно чтобы внутри была функция вида World -> [(a,World)]
A
а у State World [a] функция вида World -> ([a], World)
к
так, не, StateT World [] a и State World [a] это все такие разные типы, если не учитывать инстансы, потому что в StateT world [] будет много разных стейтов, а в State World [a] только один
A
именно. Мне как раз нужны разные
AP
State World [(a, World)], ну вы чегоA
но сам по себе StateT World [] a дает список, но они могут совпадать. А я хочу оставить только разные
AP
State World [(a, World)], ну вы чегоЭто ровно вот это ваше "
World -> [(a,World)]" и есть!к
а тут World будет дублироваться, это тогда Reader World [(a, World)]
A
эмм.. Reader World [(a,World)]
A
ну да
к
Это ровно вот это ваше "
World -> [(a,World)]" и есть!не, это будет World -> (World, [(a, World)])
AP
не, это будет World -> (World, [(a, World)])
Это решается exec вместо run
AP
Выбирать нужно по тому, будет ли меняться мир между вариантами списков
к
но я бы посоветовал просто взять явную функцию
newtype A a = A (World -> [(a, World)])
newtype A a = A (World -> [(a, World)])
к
потому что StateT путает, кажется что инстанс один, а он совсем другой