Size: a a a

2021 January 02

к

кана in Haskell
кана
превратить

f x = g
 where g = x

в

f x = f_g x
f_g x = x
точнее не так, нужно что-то типа let g = f_g x in g
источник

YS

Yan Shkurinskiy in Haskell
ну можно конечно сделать  -O2 и глянуть что там)
источник

YS

Yan Shkurinskiy in Haskell
но я для себя, кмк, ответ на вопрос нашел, который хотел найти
источник

YS

Yan Shkurinskiy in Haskell
ну или что-то похожее нашёл
источник

С

Сергей in Haskell
unfoldTreeM можно как то для своего типа дерева вывести ?
источник

С

Сергей in Haskell
автоматически
источник

YS

Yan Shkurinskiy in Haskell
А как принято в приложении обозначать какие-то модули задепрекейченными? Было написано когда-то, потом рефакторинг, стало ясно что нужно было делать по другому, но для текущего решения, в целях совместимости, надо оставить
источник

YS

Yan Shkurinskiy in Haskell
Но развивать не стоит
источник

MK

Maxim Koltsov in Haskell
В хаддоке должно быть для этого что-то
источник

YS

Yan Shkurinskiy in Haskell
Оке)
источник

к

кана in Haskell
Сергей
unfoldTreeM можно как то для своего типа дерева вывести ?
https://hackage.haskell.org/package/recursion-schemes

самый простой вариант, но там без M
источник

С

Сергей in Haskell
а как с М сделать
источник

к

кана in Haskell
источник

ЗП

Зигохистоморфный Пре... in Haskell
вы про anaM?
источник

к

кана in Haskell
+
источник

ЗП

Зигохистоморфный Пре... in Haskell
источник

к

кана in Haskell
из cotransverse можно вывести anaM?
источник

к

кана in Haskell
вроде нет
источник

к

кана in Haskell
они вообще разные
источник

ЗП

Зигохистоморфный Пре... in Haskell
а зачем? вообще можно и обычную ana юзать
источник