AP
StateT точно не нужен. "Просто функция" == Reader
Size: a a a
2021 January 17
A
ну так у меня и завернуто в newtype
AP
Завёрнут стек монад, который делает не то, что нужно и ненужно сложным способом
A
собственно я и отталкивался от того, что StateT World [] a это "почти то, что мне нужно", разница только в том, что я хочу отбрасывать дублирующиеся миры
AP
"Почти то" — отсечка
AP
Трансформеры == ровно то, что нужно
A
хм. Ну и опять же мне удобно было внутри там использовать modify
AP
Мы видим ужасный инстанс непноятно что выигрывающий
AP
Для своей реализации modify может даже проще оказаться
к
вообще вроде бы это будет незаконная монада
я не уверен, сделал вывод из того, что это вроде бы получается
StateT World (Uncurry (Flip Map)) a
~
World -> Map World a
а мапы и сеты это не монады
я не уверен, сделал вывод из того, что это вроде бы получается
StateT World (Uncurry (Flip Map)) a
~
World -> Map World a
а мапы и сеты это не монады
A
newtype Actions a = Actions{runActions::World -> [(a,World)]}
instance Monad Actions where
(Actions xs) >>= k = Actions $ nubBy (sameWorld `on` snd) . runWorld
where runWorld w = do
(x, w') <- xs w
runActions (k x) w'
что-то в таком духе?
AP
Выглядит беззаконно. Советую проверить закон
(a >>= b) >>= c == a >>= (b >>= c)AP
Возможно даже функтор ломается уже
A
мм.. для произвольного k видимо будет незаконно, да. Но предполагаются такие k, чтобы ассоциативность выполнялась
AP
Э... зачем Monad тогда вообще?
AP
Почему бы просто функции не композить?
A
чтобы писать в do-нотации?
AP
Вот бы теперь удобством оправдывать беззаконность инстансов...
к
ну я думаю, не страшно, это же какой-то собственный закрытый проект
A
тогда пойду с самого начала. Допустим у меня есть две функции a :: World -> World и b :: World -> World. Известно (мне), что a . b и b . a равны.