Телеграмм чат группы haskellru страница 12205

а, вот оно что

17:38пожаловаться #1

rewriteOnOf

17:45пожаловаться #2

и он тут тоже не поможет

17:46пожаловаться #3

нет, без Data кажется тяжко

17:46пожаловаться #4

ЗП

насколько я помню transform это для одного слоя, а rewrite это уже рекурсивность

17:46пожаловаться #5

tranform тоже для много слоев, rewrite просто повторяет апдейт пока может

17:49пожаловаться #6

тут дело в том что это все все равно требует Data, а есть только Generic

17:49пожаловаться #7

у меня есть желание сделать universe и list comprehension

17:50пожаловаться #8

а у тебя терм и сабтерм по типу отличаются?

17:51пожаловаться #9

Да

17:51пожаловаться #10

ЗП

тогда нужно birewrite какой-то

17:52пожаловаться #11

а тогда не прокатит?

17:52пожаловаться #12

если бы был один тип, то gplate бы прокатил

17:53пожаловаться #13

ЗП

а митчеловский uniplate не подходит?)

17:55пожаловаться #14

так plated это просто обертка над uniplate я думал

17:55пожаловаться #15

там тоже все на Data

17:55пожаловаться #16

Зигохистоморфный Препроморфизм

а митчеловский uniplate не подходит?)

Митчелоский юниплейт на Data

17:56пожаловаться #17

A64m AL256m qn<co... in Haskell

а в дженерик ленз комбинаторов мало (ну и он еще упирается во всякие типы с которыми не работает и начинается страдание)

17:57пожаловаться #18

ЗП

A64m AL256m qn I0

проблема)

17:58пожаловаться #19

а черт