дарт еще не закрыли же

Есть ли какие-нибудь общепринятые комбинаторы для "применить функцию к первому/второму элементу пары"? @pl выводит хрень.

Есть ли какие-нибудь общепринятые комбинаторы для "применить функцию к первому/второму элементу пары"? @pl выводит хрень.

да, Control.Arrow.{first, second}

О, спасибо. Я их сперва нашёл, но не вкурил типы.

или Data.Bifunctor

О, спасибо. Я их сперва нашёл, но не вкурил типы.

да, они более общие

главное чтобы хакадж не купил

Ох не надо

или Data.Bifunctor

действительно, он же теперь в base

и выглядит попроще

когда base поглотит профункторы?

таких планов пока вроде нет

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

хм...

купили-таки GitHub...

Помянем :(

Десятки чатов хоронят гитхаб

В блоге написано, что сделка закроется только под конец года

Растоёбы мигрируют на пиюль?

Ещё на пиюнь

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

Растоёбы мигрируют на пиюль?

На пихуль

Дети хоронят коня

Там лишь хеши и коммиты его

вы пишете бинарные парсеры на _парсеках? это норм или есть что-то ещё лучше?

почему нет tryModifyMVar ? :(

Ты ожидаешь эксепшна от этой функции? Чтобы не лочиться?

я ожидаю не ожидать если пустой мвар

На пустой MVar как должна реагировать эта функция?

Взрываться, вместо лока?

MVar это же не просто переменная, это ещё и примитив синхронизации. А ты, кажется, хочешь поведения IORef

вы пишете бинарные парсеры на _парсеках? это норм или есть что-то ещё лучше?

можно на binary еще, если парсер не сложный

можно на binary еще, если парсер не сложный

у меня сейчас attoparsec с binary для примитивов, но код не самый очевидный получается. не могу понять, почему

наверное, надо наделать комбинаторов для общих вещей, например, для «размер массива + массив»

больше слоёв абстракции, то есть

это всё есть в cereal

http://hackage.haskell.org/package/cereal-0.5.5.0/docs/Data-Serialize-Get.html#v:getIArrayOf

cereal медленный емнип

Ещё можно адаптировать store, он немного быстрее attoparsec

cereal медленный емнип

вообще интересно было бы почитать если что-то есть по теме, вроде не гуглится ничего

поидее там не должно быть медленно

вообще интересно было бы почитать если что-то есть по теме, вроде не гуглится ничего

Были у кого-то на гитхабе бенчмарки. Пишу сейчас с утюга, не смогу найти линк.

MVar это же не просто переменная, это ещё и примитив синхронизации. А ты, кажется, хочешь поведения IORef

http://hackage.haskell.org/package/base-4.11.1.0/docs/Control-Concurrent-MVar.html#v:tryTakeMVar Вот такое хочу. Там 5 строк имплементить всего

https://twitter.com/dshevchenko_biz/status/1003700967349669888

Были у кого-то на гитхабе бенчмарки. Пишу сейчас с утюга, не смогу найти линк.

Ты про https://github.com/haskell-perf/serialization ?

да, точняк

ну все, по крайней мере одна заметная фича в 8.6 будет https://github.com/ghc/ghc/commit/7df589608abb178efd6499ee705ba4eebd0cf0d1 тайплевел пролог больше не пролог (да, теперь каждый день конец эпохи)

никак не соображу: class TraverseIdxs ixs v where traverseIdx :: v -> TList ixs (Idx v) -> (v -> Idx v i -> STM ()) -> STM () instance TraverseIdxs '[] v where traverseIdx _ _ _ = return () instance {-# OVERLAPS #-} (Eq v, Hashable v, TraverseIdxs ixs v) => TraverseIdxs (i ': ixs) v where traverseIdx v (i :-: ix) f = f v i >> traverseIdx v ix f говорит Could not deduce: ix ~ i1 from the context: (i : ixs) ~ (ix : ixs1) bound by a pattern with constructor: :-: :: forall (f :: * -> *) ix (ixs :: [*]). f ix -> TList ixs f -> TList (ix : ixs) f, in an equation for ‘traverseIdx’ то есть надо пройти по самопальному гетерогенному списку и на каждый элемент вычислить f я понимаю, что дело, видимо, в том, что в сигнатуре traverseIdx :: v -> TList ixs (Idx v) -> (v -> Idx v i -> STM ()) -> STM () i надо как-то по-другому вводить, но не пойму как

MVar это же не просто переменная, это ещё и примитив синхронизации. А ты, кажется, хочешь поведения IORef

он хочет другой поведения

https://mail.haskell.org/pipermail/ghc-commits/2018-June/037453.html

> DerivingVia landed in GHC master

@astynax Послушал выпуск девзен. Воникло несколько вопросов нубских(на хаскеле не пишу, только играюсь). Я так понял, что у вас все в голом IO, без монад. Вызовы сторонних либ тоже разворачиваете в IO и обработку ошибок конвертируете в IO (Either Err Res) или бросаете исключения ? Какие линзы используете?

Не может быть "все в голом IO, без монад" - IO, это тоже монада.

И нет, у нас далеко не всё в голом IO - в чатике подкаста зря набрасывали.

Но Если код принимает запросы, кладёт что-то в базу, достаёт что-то из базы и отдаёт ответ, то тут в любом случае будет IO

я не читал чатик, только сейчас послушал подкаст

Ну понятно, просто создалось впечатление, что именно все переводится в ИО монаду

Ошибки у нас на эксепшнах. Если код в стеке с IO внизу, то IO всё равно тащит с собой исключения, а обрабатывать лучше все ошибки единообразно. Чистый код обычно ошибки кодирует в Except/Either/Maybe - тут как обычно, опять же

Спасибо, понятно

А линзы какие?

Линзы - lens.

Используем широко и траверсы всякие и прочую линзоту, поэтому не микролинзы

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

"Огромные" - спорное утверждение. Да, зависимосей много тащат, но все зависимости - маленькие пакетики. Да и если проект достаточно большой, то куча зависимостей, нужных линзам, и так нажна самому проекту

Спасибо, у меня такой же вывод был

Просто IO у нас обычно нет. Потому как у нас в mtl-style всё. Но и MonadIO мало где встречается - на верхнем уровне, разве что. Обычно есть отдельные эффекты типа MonadLogger или MonadPostgres, а это уже не "голое IO" никак :)

в конечном счёте всё сводится к IO — это нижний слой абстракции, а не выбор разработчика приложения

как работу плотника описывать словами "всё из дерева делает"

> DerivingVia landed in GHC master

да вторая заметная языковая фича, других, думаю, в 8.6 уже не будет https://github.com/ghc/ghc/commit/8ed8b037fee9611b1c4ef49adb6cf50bbd929a27

из неязыковых еще сделали доки в hi файлах https://github.com/ghc/ghc/commit/85309a3cda367425cca727dfa45e5e6c63b47391

непонятно, почему для доков в ghci столько лет ждать пришлось, конечно

17 лет всего-то

кто в итоге на zurihack едет?

я

\o/ когда приезжаешь?

7 вечером. на препати на попадаю

ну все, по крайней мере одна заметная фича в 8.6 будет https://github.com/ghc/ghc/commit/7df589608abb178efd6499ee705ba4eebd0cf0d1 тайплевел пролог больше не пролог (да, теперь каждый день конец эпохи)

а это ее приняли потому что это SPJ делал?

ну, формально она прошла через рулевой комитет

> no comments. But two +1 and otherwise silent agreement. I conclude that we have reached positive consensus.

но также и с deriving via

так что тут скорее дело не в СПЖ, а в размере фичи, когда назначенный комитетчик не ленится что-то прочесть по диагонали и вынести на обсуждение, а остальным обсуждать не хочется

к большим фичам комитету страшно подступать, а по всяким аннотациям типов в ПМ у всех есть мнение и можно обсуждать месяцами

@astynax еще красиво в конце подкаста знанием компьютеров пониже ОС унизил ведущего

а что там было, мне лень слушать?

люблю унижения ведущих

типичный девзен

я слушал девзен 0.1345 раза

Вообще в девзене можно норм слушать гостя, или разговоры про рапределенные бд. Зачем они обсуждают "новости" вообще не понятно, т.к. никто ничего не знает и несут чаще чепуху

так что слушать теперь что-ли?

ну там корочи @astynax объясняет что хаскель не магия, и просто берешь и пишешь. И потом поясняет что не нужно персистентный ram, а нужно железку сунуть на шину и делать dma.

> ну там корочи @astynax объясняет что хаскель не магия, и просто берешь и пишешь. такой выпуск же уже был вроде?

Ну так и @cblp_su уже был с таким же

Вообще в девзене можно норм слушать гостя, или разговоры про рапределенные бд. Зачем они обсуждают "новости" вообще не понятно, т.к. никто ничего не знает и несут чаще чепуху

ну, это знаешь больше ведущих, а я нет. для меня это возможность перегрузить новостной поток с глаз на уши

Но всё равно не верят

ну там корочи @astynax объясняет что хаскель не магия, и просто берешь и пишешь. И потом поясняет что не нужно персистентный ram, а нужно железку сунуть на шину и делать dma.

У меня пригорело от позиции "ну это же удобно - хоп, и заперсистить кусок RAM, и плевать на то, что это даже теоретически никак не поддерживается ни операционкой, ни железом!"

ну, это знаешь больше ведущих, а я нет. для меня это возможность перегрузить новостной поток с глаз на уши

Зачем новостной поток вводящий слушаетелей в заблуждение?

У меня пригорело от позиции "ну это же удобно - хоп, и заперсистить кусок RAM, и плевать на то, что это даже теоретически никак не поддерживается ни операционкой, ни железом!"

У меня вообще пригорает когда про IT и смежное говорят "Надо просто вжух и всё".