Oℕ
у тебя по сути и есть только айзер, врайтер и их дитятко айор
Size: a a a
2020 May 02
Oℕ
я чет не понял насчет из F[Y[F[Y[A]]]] в F[Y[A]]. Это про фикспоинт? Почему вложенностей две, а не три?
какой фикспойнт
R
ну что мы сколько то раз применяя функцию рекурсивно придем к стационарной точке, после которой будет одно значение
Oℕ
речь шла о трансформерах изоморфных Nested[F, Y, *]
Oℕ
Y - какой-то функтор, какая-то монада
Oℕ
для нестедов ты можешь автоматом получить аппликатив, в случае, если композируемые - аппликативы
Oℕ
соответственно, нужно добавить операцию flatten : G[G[A]] -> G[A]
Oℕ
в этой операции как раз проблема возникает
R
ааа, получается G[A] = F[Y[A]]
Oℕ
потому что в общем, зная, что F и G - монады, получить F[G[F[G[A]]]] -> F[G[A]] невозможно
Oℕ
но если у тебя есть функция swap: G[F[A]] -> F[G[A]]
Oℕ
R
в общем апликативы это заебись
R
осталось узнать что такое lattice и какие плюшки оно могло бы дать
Oℕ
Oℕ
самый простой пример - числа и порядок
Oℕ
если у тебя есть операции min и max
KC
Это Фотошоп я программист меня не обманешь