вообще обсуждаемый класс для таких значений это 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

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

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

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

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

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

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

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

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

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

один из авторов 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 месяцев раньше, решение все еще не принято)

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

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

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

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

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

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

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

Рабы или лошади

Рабы или лошади

Вот ваша сдача, 17109 икринка?

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

Простите, я тут мимоходом, а вот это про что речь? О_о

Простите, я тут мимоходом, а вот это про что речь? О_о

https://github.com/simonmar/ghc-proposals/blob/mutable-fields/proposals/0000-mutable-fields.rst

Хаскель - лучший императивный язык? И оно туда движется все, сделать Хаскель как Си? И назвать его Сискель, ага

https://github.com/simonmar/ghc-proposals/blob/mutable-fields/proposals/0000-mutable-fields.rst

Спасибо!

чтоб хаскелю быть нормальным императивным языком, надо помимо этого еще сносный монадический синтаксис (вроде идрисной !-нотации) анлифтнутые типы нормальные, примитивы меньше слова, возможно линейные типы, может еще что-то, навскидку не вспомнил

Вот уж у каждого императивного языка линейные типы

НОРМАЛЬНЫМ

каким-то там императивным языком он и сейчас является

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

он для применения с некоммутативными монадами в основном

чтоб хаскелю быть нормальным императивным языком, надо помимо этого еще сносный монадический синтаксис (вроде идрисной !-нотации) анлифтнутые типы нормальные, примитивы меньше слова, возможно линейные типы, может еще что-то, навскидку не вспомнил

Я мало что понял, но верю

так что доказывать не надо

чтоб хаскелю быть нормальным императивным языком, надо помимо этого еще сносный монадический синтаксис (вроде идрисной !-нотации) анлифтнутые типы нормальные, примитивы меньше слова, возможно линейные типы, может еще что-то, навскидку не вспомнил

а что там в идрис?

proof by ignorance

ну или вариант того что в DDC

в скалку, кстати, тоже bang завезли

Тоже для монад?

Я мало что понял, но верю

чего там непонятного-то?

Тоже для монад?

не совсем. Но если я поведаю тут все начнут фукать, так что лучше в скалачате спроси

Хаскель - лучший императивный язык? И оно туда движется все, сделать Хаскель как Си? И назвать его Сискель, ага

Хаскель уже давно лучший императивный. Это всего лишь ещё одна оптимизация.

@odomontois меня там нет и не будет, да вообще не знаю где это, кинь в лс

а from the abyss хорошее аниме.. ой к чему это я

/

а from the abyss хорошее аниме.. ой к чему это я

made in abyss может?)

а ну да

Анимэ с детолюбными подтекстами :)

не совсем. Но если я поведаю тут все начнут фукать, так что лучше в скалачате спроси

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

(не шутка)

https://github.com/Atry/ghc-proposals/blob/master/proposals/adaptive-do-notation.rst

А зачем нужен пропозал, если можно сделать свою прелюдию и настроить резолвитнг do-нотации в >>= вместо Control.Monad.>>=?

не у всех пропозалов есть смысл

логично

почему [0,0.. 1] == бесконечный список нулей, но [0,0.. -1] == [] ?

какая-то ассиметрия