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

Сбоку же TOC есть

Да, точно. Проглядел как-то

В смысле, категории там проглядел

10.3. Syntactic extensions 10.4. Extensions to data types and type synonyms 10.5. Extensions to the record system 10.6. Extensions to the “deriving” mechanism ...

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

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

зачастую там не только ссылка на Ман, а ещё и слова и в этих словах иногда бывает вред

@qnikst не, итого LD_LIBRARY_PATH тоже не помог, похоже с gts что-то не так. Я видимо просто переимплементирую нужные мне штуки оттуда

Раз я не могу даже слинковаться с этой либой

Денис Положий будет жить. Поприветствуем!

Тут появился фейс контроль?

да

но говорят и статбот научился банить китайцев

тут чисто случайно нет людей разбирающихся в K или J?

Писал когда-то лабораторную на J

ну они не только такой ерундой занимаются, принимают и полезные вещи https://github.com/ghc-proposals/ghc-proposals/pull/128

Кстати да, наконец-то решили это дурацкое ограничение с ScopedTypeVariables убрать

> My impression from discussion forums when Hugs was still active, is that Hugs source was easier to hack if you wanted to experiment with changes to the language(?) > What seems sad these days is that GHC is so monstrous and formidable, hardly anybody builds experimental extensions to Haskell. на си-то конечно проще экстеншоны писать

в хагсовой рассылочке клайден похоже нашел еще одного поехавшего I have little constructive to say on the topic, except that I typically use hugs in preference to "monstrous" ghc/ghci. It's lightweight and its language is properly documented (in the Haskell 98 report), neither of which can be said of ghc. Its rudimentary instrumentation (:set +s) is more useful than ghc's equivalent, though admittedly ghc has many debugging features I haven't explored. That said, it should be noted that I do not use Haskell (nor, nowadays, any other language) for writing production code. Apropos of language, a couple of years ago I noted that ghc implements 2^99 languages, not one. (There were 99 non-antonymous language pragmas; there may be more now.) Who can know what terrors lurk there. My first attempt to investigate the field (turn on all 99) caused a compiler panic, since fixed.

да. точно, клайден одобряет > So your point about 2^99 languages is well made.

> "Хррр" сказала пила и сломалась...

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

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

Хугсовая рассылка? Это шутка?

https://mail.haskell.org/pipermail/hugs-users/2018-July/date.html

замените у бота текст на Come with me if you want to lift

кек

@uuttff8 будет жить. Поприветствуем!

Команда: убить человечество

замените у бота текст на Come with me if you want to lift

Lift the штанга

ekg брать или сразу prometheus?

если админы которые деплоить все дело будут неизвестны и не известно что у них и что умеют?

Прометеус ща промышленный стандарт. Даже если не умеют в него, то много кому будет интересно его поковырять

Prometheus, конечно. Уже везде используется

ekg брать или сразу prometheus?

Ekg это что мониторинг кардиограммы?

ekg брать или сразу prometheus?

А вообще надо отталкиваться от конкретной задачи, огласите больше подробностей

А вообще надо отталкиваться от конкретной задачи, огласите больше подробностей

я так понял что он через ekg хочет в промитей фигачить метрики потому как тащить отдельно проимтейагента потом выгребать метрики из апп и потом слать их в прометей какой то треш

Prometheus, конечно. Уже везде используется

это такой новый Графит?

это такой новый Графит?

угу

есть пакет ekg для сборки метрик у него 100500 коннекторов с другими системами и неплохая интеграция с статистикой RTS. Т.е. скорее всего какую бы систему не выбрал devops, я смогу напрямую соединить их. Но, например, если решить, что будет прометеус, то можно взять, либу, которая работает только с ним и выглядит попроще.

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

Подскажите, а что, у xmonad поменялась раскладка окон в Xinerama? Только что перебилдил, теперь на левом мониторе првые окна, а на правом мониторе -- левые

Как пофиксить?

xrandr?

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

Т.е. xinerama правильные позиции отдаёт

xrandr?

Не, не то.

Каждый старт так делаю.

Что-то вроде xrandr --output HDMI-1 --left-of VGA-1

Лень в автозапуск писать, ребутаюсь раз в месяц от силы.

Хм, ну у меня это в /etc/X11/xorg.conf через nvidia-settings прописано.

Да и xrandr влияет же на мониторы. А они у меня правильно расположены. Судя по статусбару и курсору мышки

Беру float-окно, перетаскиваю с левого монитора на правый. Всё ок. На левом мониторе пропадает, на правом появляется.

Ну т.е. вот такое screenWorkspace 0 >>= flip whenJust (windows . W.shift) отправляет не на левый экран, а на правый. А вот это: screenWorkspace 1 >>= flip whenJust (windows . W.shift) -- не на правый, а на левый

o_O

Ну, если сменить нумерацию, то работает теперь как надо. Странно...

xrandr?

xrandr, xrandl, xrandl' ...

Ох уж эти хаскелисты...

а расскажите, как offset для тачскрина настроить

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

после москвина читать LYHfGG уже бесполезно?

скорее всего

а Haskell programming from first principles?

полезней не читать, а писать уже

так что писать, езод начинать что ли учить?

то, что тебя реально интересует

Ну он круды пишет для веба

перед есодом я бы начал с чистого wai, потом scotty. а там дальше либо есод для людей, либо сервант для роботов

либо вебсокеты для SPA

servant для роботов :D

Подскажите, а QuickCheck - это ещё годное решение для генерации юнит-тестов? Или есть что-то более новое?

А то пишут, мол "QuickCheck is the grandfather of property-based testing libraries."

https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html

это годное решение для property тестов

генерить юниттесты — это странный подход

зачем тебе генерить юниттесты?

Ну да, правильно. Мне надо property-тесты

Для них появилось что-то лучшее QuickCheck?

более новое есть, например, hedgehog, он более красивый, но концептуально то же самое

hedgehog разве что более явный, поэтому более понятно, что именно ты тестируешь, с другой стороны, больше кода писать

Самое дурное изобретение QuickCheck это делать класс Arbitrary, генераторы намного лучше вручную передавать

Самое дурное изобретение QuickCheck это делать класс Arbitrary, генераторы намного лучше вручную передавать

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

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