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

почему typed в generic-lens это линза а не траверсал

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

там и траверсал есть

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

да, вижу

18:00пожаловаться #3

ну вот и ответ кажется

18:00пожаловаться #4

ast ^.. types @SubTerm . to update . _Just

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

18:00пожаловаться #5

ЗП

кана

ast ^.. types @SubTerm . to update . _Just

кстати вот эти новые операторы в женерик линзах очень магические (хотя внутри все не так магически)

18:01пожаловаться #6

да там проблема, что этим полтора человека пробовали пользоваться и естественно сразу напарывались на всякие грабли

18:03пожаловаться #7

с тех пор там правда кое-что поправили

18:03пожаловаться #8

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

18:03пожаловаться #9

Alexander Vershilov in Haskell

Ну тут в одном типе же?

18:04пожаловаться #10

ну вот а будет там вектор какой и приехали, раньше-то он даже с текстом не осиливал

18:04пожаловаться #11

Alexander Vershilov in Haskell

А если вместо Int сделать Either () Int и искать инты?

18:04пожаловаться #12

Ну тут в одном типе же?

не, я же инты достаю

18:04пожаловаться #13

Ну тут в одном типе же?

не обязательно

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

А если вместо Int сделать Either () Int и искать инты?

из [Int] а не Int

18:04пожаловаться #15

Alexander Vershilov in Haskell

A64m AL256m qn I0

не обязательно

Разве?

18:05пожаловаться #16

да

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

тут уже и так вложенный

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

список там специально для этого

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