Size: a a a

2020 November 23

KV

Kirill Valyavin in Haskell
Не помню название, но вроде видел для этого комбинатор, который две линзы на пару натягивает
источник

AA

A64m AL256m qn<co... in Haskell
да есть такой
источник

MK

Maxim Koltsov in Haskell
в unsound
источник

MK

Maxim Koltsov in Haskell
а, нет, там наоборот
источник

KV

Kirill Valyavin in Haskell
Ага
источник

KV

Kirill Valyavin in Haskell
Тот, который ансаунд я как раз запомнил, он полезнее
источник

AA

A64m AL256m qn<co... in Haskell
Kirill Valyavin
Не помню название, но вроде видел для этого комбинатор, который две линзы на пару натягивает
alongside
источник

KV

Kirill Valyavin in Haskell
Спасибо
источник

к

кана in Haskell
Kirill Valyavin
Классно, спасибо
блин, а я такую штуку накостылил
источник

AA

A64m AL256m qn<co... in Haskell
to (\чето -> (чето, чето)) . aside _ПризмаКотораяПроверяетЧето . оптикаКотораяДостаетизЧето `alongside` оптикаКотораяДостаетИзРезультатаПризмы
источник

к

кана in Haskell
Kirill Valyavin
А если мне ещё нужно то, что внутри призмы сматчилось?
так не нужно же наоборот, там будет неотсортировано все
источник

к

кана in Haskell
точнее без полей
источник

KV

Kirill Valyavin in Haskell
кана
блин, а я такую штуку накостылил
Это немножко получше, чем моё решение, но в моём я ещё компенсировал незнание alongside заодно
источник

KV

Kirill Valyavin in Haskell
кана
так не нужно же наоборот, там будет неотсортировано все
В смысле, aside же отфильтрует
источник

к

кана in Haskell
хм, а у тебя у двух конструкторов одинаковый набор полей?
источник

KV

Kirill Valyavin in Haskell
Не полностью
источник

к

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

к

кана in Haskell
поэтому лучше отфильтровать, но потом отбросить и оставить X все еще
источник

ЗП

Зигохистоморфный Пре... in Haskell
Maxim Koltsov
Поразительно, вообще ни слова не понятно
а что не понятно?
источник

MK

Maxim Koltsov in Haskell
я же сказал
источник