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

https://hackage.haskell.org/package/capability

Hackage

capability: Extensional capabilities and deriving combinators

Install via `cabal install capability`.
[rating:2.0/3(n=1)]

23:04пожаловаться #1

Это твиговый

23:04пожаловаться #2

Maxim Koltsov in Haskell

2013 год ^^

23:04пожаловаться #3

Тот уже 7 лет не трогали

23:04пожаловаться #4

ага, нашел уже, и статью, спасибо

23:05пожаловаться #5

А чем дешевле всего в огромном AST паттерн искать?

23:06пожаловаться #6

template из линз не ищет в ветвях где точно нет значений нужного типа

https://hackage.haskell.org/package/lens-4.19.2/docs/Data-Data-Lens.html

23:07пожаловаться #7

Конкретно нужно (`TypecastAExpr (ParamCExpr x _ :: CExpr) t :: AExpr)`

23:07пожаловаться #8

так что выглядит как самая мощная оптимизация которую можно сделать в общем случае

23:07пожаловаться #9

Инстанса Data нет

23:08пожаловаться #10

может Generic?

23:08пожаловаться #11

Хотя может и можно добавить, если без него никак

23:08пожаловаться #12

Ну template, uniplate, biplate хотят Data

23:09пожаловаться #13

Generic есть

23:09пожаловаться #14

а у Rep a b же есть Data

23:13пожаловаться #15

можно сначала генериком в Rep, а в нем уже биплейтом

23:13пожаловаться #16

наверное это крайне неудобно будет паттерн писать

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

Maxim Koltsov in Haskell

кана

можно сначала генериком в Rep, а в нем уже биплейтом

*пикча из начала*

23:14пожаловаться #18

Maxim Koltsov in Haskell

Alexander Vershilov

А чем дешевле всего в огромном AST паттерн искать?

А дженерик ленз не поможет?

23:18пожаловаться #19

Мне казалось он рекурсивно по структурам разным не ходит