Size: a a a

2021 February 26

MK

Maxim Koltsov in Haskell
там есть какой-то подвох, если что
источник

к

кана in Haskell
какой подвох?
источник

MK

Maxim Koltsov in Haskell
какой-то
источник

к

кана in Haskell
нет никаких подвохов, отвечаю
источник

MK

Maxim Koltsov in Haskell
Note: This is not a legal Traversal, unless you are very
careful not to invalidate the predicate on the target.

Note: This is also not a legal Prism, unless you are
very careful not to inject a value that fails the predicate.
источник

MK

Maxim Koltsov in Haskell
из-за тебя пришлось в доку лезть
источник

к

кана in Haskell
все еще не вижу подвохов
источник

к

кана in Haskell
какие-то законы, кому они надо
источник

к

кана in Haskell
написал недавно незаконный траверсал, очень удобный, прекрасно работает
источник

MK

Maxim Koltsov in Haskell
какой?
источник

к

кана in Haskell
из Value по Value, если строка то пытается распарсить как жсон, иначе как кверистроку (еще как xml нужно), фокусится на выходной value, и как этот value и оставляет, не притипринтит обратно в querystring/json/xml
источник

ЖК

Жук Короед in Haskell
Maxim Koltsov
Note: This is not a legal Traversal, unless you are very
careful not to invalidate the predicate on the target.

Note: This is also not a legal Prism, unless you are
very careful not to inject a value that fails the predicate.
А это как? Объясните простым крестьянам, что нельзя делать, чтоб не сломалось 👀
источник

к

кана in Haskell
вроде бы он станет законным если его специализировать до сеттера
источник

к

кана in Haskell
Жук Короед
А это как? Объясните простым крестьянам, что нельзя делать, чтоб не сломалось 👀
ничего не сломается, все можно делать
источник

MK

Maxim Koltsov in Haskell
но кметт будет недоволен
источник

к

кана in Haskell
ну точнее сломаться может, если ты решишь что-то такое

a & filtered p %~ f & filtered p %~ g

переписать на

a & filtered p %~ (g . f)

но имхо тут и без законов очевидно что так делать нельзя в общем случае
источник

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
Note: This is not a legal Traversal, unless you are very
careful not to invalidate the predicate on the target.

Note: This is also not a legal Prism, unless you are
very careful not to inject a value that fails the predicate.
вот типичный случай кудахтанья, в том случае когда можно было бы просто написать код который ломается/равенство которое не выполняется
источник

MK

Maxim Koltsov in Haskell
Если бы я его знал, я бы его написал
источник

ЖК

Жук Короед in Haskell
Похоже, что в optics нет filtered, только ifiltered, грустьпечаль 😕
источник

MK

Maxim Koltsov in Haskell
А так это вместо меня сделал кана
источник