Хм, а в решении-то ошибка.

В общем, если кому не жалко свободного времени - проревьюйте код. Вот задача: https://tproger.ru/problems/nested-segments/ Вот решение: https://hastebin.cuttlerat.ru/qemimezumi.hs

Ещё "отрезок" чаще как "segment" (а не "line") переводится.

Даже если есть в том же Idris, тебе придётся страниц 5 теорем доказывать. Проще уж инкапсулировать Line в 2-3 функции.

Это, конечно, ложь

Что проще теоремы доказывать?

Что проще теоремы доказывать?

Что для какого-то простого конструктора сигма-типа с эвиденсом неравенства потребуется 5 страниц теорем

А, опечатка просто была. line и testLine местами поменять.

Что для какого-то простого конструктора сигма-типа с эвиденсом неравенства потребуется 5 страниц теорем

Не буду спорить :) Я имел ввиду, что проще или к length перейти, или инкапсулировать функциями, чем на типах это делать.

Хотя, может, на типах даже ещё проще, я просто не представляю, как

Но, естественно, если где-то потребуется доказывать неравенство перед конструктором, в идрисе это доказательство будет раз в 15 короче, чем в симуляции завтипов в хашкеле или шкале

ты про wai-middleware-prometheus ? тож просто мидлварь

ну да, но нужен адаптер, который по servant описанию будет правильные хэндлеры генерить

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

можно руками конечно, то это такое

чот как-то я не уверен, что это в общем случае внятно получится

почему же, просто добавить Prometheus (name::Symbol)

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

а, типа явно в серванте

да

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

это кстати возможно, там есть нужные методы, но они не exposed

ещё там дефолтные банкеты всегда

бакеты может?

что вообще бредово, и считается в секундах и делается div

ну с телефона

он любит заменять словп

точнее я так и не понял, но похоже у меня все тупо попадает в 1-2 бакета

или я что-то делаю не так, или библиотекой серьезно никто не пользуется..

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

бесит, понавыкладывают на хакадж, а потом неясно, что с этим делать

а, кстати, для трейсинга какие решения не завязанные на GCS или Амазон есть хорошие?

у нас используется но с привязкой к GCS

AesonException "Error in $.packages.cassava.constraints.flags['bytestring--lt-0_10_4']: Invalid flag name: \"bytestring--lt-0_10_4\""

У меня тут stack не пашет.

Я понимаю, что 1.5.1 не самая свежая версия.

Но вроде как уже релиз, и далек от первого.

upgrade to 1.7.1

upgrade to 1.7.1

И тип всё заработает?

Хм, таки заработало.

Привет всем - перестал собираться hslogger. Проблема понятна - в пакете containers обновления которые убрали fold. Можно было бы откатиться на предыдущую версию containers но при этом валятся другие зависимости. Фикс hslogger тривиальный. Сообственно вопрос - есть ли варианты применить его максимально быстро - aka патч перед сборкой в cabal?

если твой проект собирается через stack, то можно просто указать номер версии или коммит в гите, в котором это уже исправлено

если через cabal-new, то, наверно, тоже можно

если твой проект собирается через stack, то можно просто указать номер версии или коммит в гите, в котором это уже исправлено

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

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

тогда форкни, поправь, сделай PR а локально у себя укажи линк на свой коммит

Форк - хорошее предложение - снего и начну

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

это изменения в кабале и исправлять никто не будет

но есть http://hackage.haskell.org/package/Cassava

если твой проект собирается через stack, то можно просто указать номер версии или коммит в гите, в котором это уже исправлено

Тоже самое и через cabal можно сделать.

Форк - хорошее предложение - снего и начну

см. ссылку на имеющийся форк и пояснения там

так, у меня stack собирает hslogger без ошибок. в чём проблема?

последнюю версию

версии GHC то у вас одинаковые?

и может быть разница в extra-deps

старый стек не умел читать кабал файлы

потому что спеку кабал файлов никто не писал

и был момент когда хвр упёрся, что давайте чините стек, а стековцы упёрлись, чтобы хвр починил кабал файл

в итоге в новом стеке это поправили

в стеке свой парсер кабалов что-ли? чем им парсер из Cabal не угодил?

вот не угодил

Тем, что работает

в стеке свой парсер кабалов что-ли? чем им парсер из Cabal не угодил?

В след. версии будет заментый реюз Cabal

ура!

в стеке свой парсер кабалов что-ли? чем им парсер из Cabal не угодил?

Не будет повода ныться о том как кабалисты всё ломают

Ну они своё ломают тоже

Как с кассавой

древние кабалы ее не понимают?

ERROR: S client not available

Ну оператор новый, ответ хвр вроде был - апгрейдитесь

Вроде с лицензиями тоже не всё гладко с обратной совместимостью, с этим SPDX или как там его

с кассавой разве проблема с оператором была? там просто же опции компиляции стек распарсить не мог

не, используешь Херберт оператор - поднимай cabal-version

если кабал разрешать залить не бапмнув - то да, баг

тоже самое с лицензиями

это ж стандартный путь к обновлению формата

смотрю доклад https://www.youtube.com/watch?v=riJuXDIUMA0

ребята оч смелые

пишут на хаскель под фронт и под мобилы

обернули еще это все в cli

https://github.com/obsidiansystems/obelisk

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

Hi folks

Кто-то делал Non_Blocking splice ?

или что-то не механизмах select, чтобы FFI работал с System.Timeout.timeout ?

@drcha0s может ты про interruptible?

наверное

я вот засунул с_splice в timeout а он не реагирует

хм...

может получится

@qnikst с vmsplice игрался, ну и вообще про FFI точно должен что-нибудь повещать

@drcha0s а c_splice как объявлен?

я на си игрался

А нету какого-то caching layer над persitent ?

interruptible надо, будет сигнал прилатать, или fd в haskell-ный event manager добавлять

ну вот у меня 2 проблемы - 1-я по throwTo нить не прибивается это решается interruptible

и 2-я что когда я делаю close на сокете то мой c_splice не вылетает, как recv например

interruptible надо, будет сигнал прилатать, или fd в haskell-ный event manager добавлять

а хэндлер не надо вешать на SIGPIPE? или типа splice сам его словит в блоке?

почти все сишные вызовы с eagain выходят

если нет, то не повезло