Такая же, только for working programmers есть?

Да есть, и не одна

Только называется по-другому?

меня тут попросили провести воркшоп по Coq часа на 1,5 - 2 в рамках одной конференции по ФП; короче, вопрос такой: что можно было бы рассказать, так, чтобы - не скатываться в док-во теоремок про натуральные числа и списки с одной стороны и - не рассказывать хардкор из теории типов с другой стороны (хардкор меня уже попросили не рассказывать) [у меня есть полу-утвержденный вариант, но хотелось бы еще послушать ссобщество, может у кого-то есть конкретика]

Знание кока необходимо, чтобы предлагать темы?:)

Доказать основную теорему гомоморфизме для групп?

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

нет, скорее незнание является плюсом 😄

Я бы послушал про рекурсию/корекурсию, Mu/Nu/Fix. Сначала теорию. Потом потом, как с помощью реурсивных схем можно писать более быстрые программы.

katip

Может теорию графов?

Ща бы в 2k18 логи в файл писать

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

В 2к18 файлы вышли из моды?

Alternative какой теоркат под собой имеет? По законам похоже нечто кольце-подобное на функторах Или это ad hoc класс?

хмм, надо подумать

Перекладывать информацию из файлов потом хоть в хдфс, хоть в эластик — никто не запрещает. Но писать логи сразу по сети и надеяться, что в ДЦ никогда не возникнет проблем с сетью — это очень.. в общем, одного раза хватило.

не могу точно сказать, что значит "моноид на эффектах"

ну то есть там действительно моноид и эффектов, но сложность в слове "эффект"

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

У нас в ДЦ каждый день выходят из строя диски, несколько раз в месяц случаются проблемы с сетевым обоорудованием. Не потому что они плохие, а потому что их много, и проблемы случаются.

Мне больше интересно, как они вплетаются дистрибутивность в эффекты

У нас в ДЦ каждый день выходят из строя диски, несколько раз в месяц случаются проблемы с сетевым обоорудованием. Не потому что они плохие, а потому что их много, и проблемы случаются.

Почему <*> это умножение а <|> сложение

Господи, да кто сказал, что у нас нет мониторинга?)

а похоже дистрибутивности таки нет

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

С форматтером и уровнями есть hslogger. Я посмотрел все известные мне либы для логгинга и они не умеют в ротацию (её можно с помощью logrotate'а настроить, если у вас linux)

Пардон, я снова со своими скучными вопросами. Я правильно понимаю, что, если мне нужны внешняя настройка формата логирования, правила ротации файлов и всё остальное, что обычно ассоциируется с логированием у людей с ынтерпрайзным бэкграундом, мне эта библиотека не подходит? А что подойдёт?

у меня при словах "как в энтерпрайзе" возникают мысли о xml конфигах и суициде

требую spring-haskell-boot

Вам уже завезли йесод.

Вам уже завезли йесод.

Вот бы оракл или майкрософт на хаскеле стали писать. сразу бы появилось много таких либ. А то всё мы лаптем щи хлебаем, как опен-сорс бомжи из 90х

Майкрософт уже переходит в хипстепрайз постепенно

Как в хаскеле делать dependency injection с внешней конфигурацией, как энтерпрайзе?

handle service pattern