АГ
вот ещё 😉
Борщевик растет, и ты расти
Size: a a a
2020 July 23
0
А я до сих пор не осилил линзы.
0
Зато осилил завтипы и вот это всё.
0
Короч я слепой сеньор без линз, вот.
AA
че и траверсабл не осилили?
MK
Привет 0xd34df00d
АГ
0xd34df00d
@graninas надо туда куда-нибудь про ленивость и evaluation model добавить, куда-нибудь ближе к сеньору.
Хорошая мысль!
АГ
Добавлю, как освобожусь
0
че и траверсабл не осилили?
Осилил
DeriveTraversable!АГ
че и траверсабл не осилили?
Траверсабл и фолдабл тоже туда надо добавить
MK
че и траверсабл не осилили?
Ты же не смотрел в таблицу
AA
нет, я про то, что если кто знает как траверсабл использовать то тот и линзы знает, просто про это еще не знает
0
Ваще круто, написал
deriving (Functor, Foldable, Traversable), потом можно писать вещи типаonTerm f term = traverse sequence $ fmap f <$> term
0
Меня в линзах пугает околонулевая discoverability тамошних функций.
0
По типам хрен это сделаешь, они наркоманские, по именам — успехов #!!..^
0
@maksbotan приветики)))
MK
0xd34df00d
Ваще круто, написал
deriving (Functor, Foldable, Traversable), потом можно писать вещи типаonTerm f term = traverse sequence $ fmap f <$> term
Ужас
AA
0xd34df00d
По типам хрен это сделаешь, они наркоманские, по именам — успехов #!!..^
там имена операторов то как раз по соглашению составлены, так что там понятно сразу че он делает, вот со всякими алонгсайд, асайд и т.д. по названию ниче не понять
MK
Below, under