выколотое

как non в линзах

но Non, наверно, плохое название для класса

готовый класс в линзах и есть

но "пустое" значение оно не "выколотое" же, конструктор для него есть.

вообще обсуждаемый класс для таких значений это Monoid

'\NUL' не пойдёт за mempty

вообще обсуждаемый класс для таких значений это Monoid

нет, empty в моноиде - нейтральное значение ДЛЯ какой-то КОНКРЕТНОЙ операции, сам по себе mempty ничего не значит а ему нужно обратное - какое-то пустое значение, которое не несет смысла

если оно ничего не значит, не несет смысла, то и тайпкласса быть не может

(но тайпкласс для пустых значений просто ради перегрузки есть в lens как я уже говорил, AsEmpty называется)

если оно ничего не значит, не несет смысла, то и тайпкласса быть не может

Что не характерно, коли уж Monoid может быть тайпклассом, то почему бы Pointed не быть тайпклассом?

тайпклассом-то может, но довольно неинтересным

наверное и есть Pointed в каком-то пакете

вообще обсуждаемый класс для таких значений это Monoid

Char не Monoid

зависит от того какую операцию объявим

first, к примеру можно для чара объявить почему нет?

Да, любое непустое вполне моноид

готовый класс в линзах и есть

какой?

(но тайпкласс для пустых значений просто ради перегрузки есть в lens как я уже говорил, AsEmpty называется)

(но тайпкласс для пустых значений просто ради перегрузки есть в lens как я уже говорил, AsEmpty называется)

спасибо

Monoid не подходит, потому что я не использую никакую операцию, хочу только отличать заполненное значение от пустого

(но тайпкласс для пустых значений просто ради перегрузки есть в lens как я уже говорил, AsEmpty называется)

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

хочу использовать готовое, но только так чтоб готовое не использовать

Monoid не подходит, потому что я не использую никакую операцию, хочу только отличать заполненное значение от пустого

Операция объединения такая что mappend Empty a = a; mapped a _ = a

Операция объединения такая что mappend Empty a = a; mapped a _ = a

во-первых, это First, во-вторых, мне негде такой mappend применить, в-третьих, у меня есть совсем другой merge, работающий одинаково для всех типов: -- priority of deletion mergeAtoms a1 a2 | a1 == empty || a2 == empty = empty | a1 == a2 = a1 | otherwise = empty

а зачем тут 3 ветки когда хватит 2?

а зачем тут 3 ветки когда хватит 2?

ну, можно и 2

а зачем тут 3 ветки когда хватит 2?

просто третья вообще не может быть, если всё идёт хорошо

Есть какой-нибудь значок для Data.Function.on :: (b -> b -> c) -> (a -> b) -> a -> a -> c?

а так нужен?

(==) `on` f

Не, мне для кока

https://t.me/itliba

ERROR: S client not available

Брагилевского на вас нет

Воры. Все воры.

Весь мир －квартира , форточкой, а мы в ней воры.

Мало того что воры, там на весь канал всего одна книга по хаскелю

Воры. Все воры.

а вот оно че! а я то покупаю книги, даже если они мне не особо подходят потом

вор, из-за тебя кому-то книги может не хватить, кому она нужна, своровал знания

вор, из-за тебя кому-то книги может не хватить, кому она нужна, своровал знания

я отдал за это свои деньги) даже иногда хожу живые книги покупаю

один из авторов deriving via не успел пропозал запостить, а уже обкашливает вопросики: RS> I have one major feature planned: -XDerivingVia. I haven't made a patch yet, since the idea itself is still technically going through the proposal process at [1]. But the feedback seems pretty positive, so I think I'll submit it to the committee next week for final consideration. RS> There is an implementation that's 99% already at [2], so there shouldn't be much of a delay in getting it to Phabricator once the committee gives the go-ahead. BG> Right, I think this can be made to work assuming there is no objection from the devops committee.

(автор или-паттернов запостил пропозал на 14 месяцев раньше, решение все еще не принято)

(автор мутабельных объектов запостил пропозал на 18 месяцев раньше, решение все еще не принято)

Так много всяких дерайвов. Может, кто-то статейку написал, что каждый из них делает, почему нужен, и какие практики поддерживает?

в пейпере про этот дерайв есть обзор остиальных дерайвов и почему они теперь не нужны

Окей, тоже источник

я отдал за это свои деньги) даже иногда хожу живые книги покупаю

Из мёртвого дерева небось? Какие они тогда живые?

Из мёртвого дерева небось? Какие они тогда живые?

и как вы представляете живые?