так или иначе, он фон

"на фоне ноймана..."

"Нейман" получено ошибкой в "Нёйман"

а "фон" — вообще предлог

фён нэймэн

Т.е. он [Н'ойман]?

Н'ойман фхтагн

[nojmɒn ˈjaːnoʃ ˈlɒjoʃ]

"Нейман" получено ошибкой в "Нёйман"

откуда ё, если там о?

откуда ё, если там о?

такие загадочные стандарты транскрипции

/me вспомнил про "проблему Халтинга" с гиттера

John von Neumann (/vɒn ˈnɔɪmən/ ɔɪ CHOICE, void, boy

/me вспомнил про "проблему Халтинга" с гиттера

его звали Пауль!

его звали Пауль!

Муад'Диб

скобками на = в любом случае воздействовать нельзя, а на :: можно. Раз скобки изменяют выражение, значит можно говорить о приоритете

ну как нельзя, возьми поставь скобки как x(=42) и оно не распарсится - чем не воздействие :)

John von Neumann (/vɒn ˈnɔɪmən/ ɔɪ CHOICE, void, boy

Ч мягкая, Н твердая, О круглая. Все сходится.

а как у нас дела на текущий момент с внешними шаблонизаторами?

/me вспомнил про "проблему Халтинга" с гиттера

Вспоминается знаменитый чешский учёный Буравчик

Вспоминается знаменитый чешский учёный Буравчик

аж хохотнул

никто ничего не написал с прошлого раза?

шаблонизаторами чего?

"Внешними" = "на шаблонах в файликах"?

EDE мне нравится, например. И внезапно Hamlet - если HTML генерить

раз уж я к вам забрел - повышу уровень эрудиции :)

А мы с тобой не встречались в гошном чатике? ?

понятно что написали, шаблонизатор из дхола

"Внешними" = "на шаблонах в файликах"?

ага

еще бы можно было json биндить

шаблонизатор из dhall ?

это https://github.com/dhall-lang/dhall-text ?

кто-то трогал? как оно ?

для сбороки надо 1.5 хакаджа?

А мы с тобой не встречались в гошном чатике? ?

наверняка вы с ним встречались

кто-то трогал? как оно ?

Dhall - странное решение для шаблонизации, конечно. Но работает. Только получатся "шаблоны с логикой". Иногда хочется просто чуть более сложной интерполяции

а есть лучше? ну вот EDE было, я помню, да

кто-то трогал? как оно ?

https://github.com/serokell/ariadne/tree/master/config

Нам нравится

это https://github.com/dhall-lang/dhall-text ?

это cli утилита просто, дхол сам по себе шаблонизатор (если лямбда возвращает текст)

эта падла MonadUnliftIO еще и не дерайвится

у нас скоро как у скалистов будет парочку стэков несовместимых

как я ненавижу всё это

Те, кто не любит Сноймана, могут думать об uio, как об очередном шаге в сторону долгожданного ухода Сноймана в свой местячковый хаскель с Йесодом и без трансформеров.

у нас скоро как у скалистов будет парочку стэков несовместимых

я пару лет назад тоже думал, что скоро, но что-то снойман медленно работает

я пару лет назад тоже думал, что скоро, но что-то снойман медленно работает

Старость не в радость

всякие менеджерские таски время у него отжирают :)

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

ну если какой Пейсбух перетянет, то может быть

https://github.com/ghc/ghc/blob/master/libraries/base/GHC/Base.hs#L1293-L1298 чому тут (.) и ($) с инлайном, а flip без?

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

https://kowainik.github.io/posts/2018-06-21-haskell-build-tools.html

Доброго вечера. А подскажите любезно, что сейчас модно для логирования использовать?

katip

+

С документацией у него катастрофа

а она нужна? там вроде все достаточно очевидно если внутрь не лезть

Пришла )

этож в соседний чат вроде как?

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

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

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

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

а что по join calculus можно почитать? И вообще всяким другим calculus для распределенщины.

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

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

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

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

Есть одна книжка на русском даже, но её многие спецы не любят, поэтому лучше спроси в теоркат чате по поводу литературы

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

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

ERROR: S client not available

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

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

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

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

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

? мне типа намекнули, что там много новичков и их распугивать нежелательно

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

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

Читая эту книгу, я встрачал упоминая в ней, мол "Я использовал Категории для рабочих математиков как настольную книгу"

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

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

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

классное предложение, спасибо! жаль только, что в коке с коиндукцией/корекурсией плоховато, в смысле много боли при использовании

Если можно писать, конечно

katip

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

Хреначь в graylog

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

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

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

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

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

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

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

elasticsearch нормально держит гигабайты в секунду

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

Кластерная фс обойдётся дороже, чем кластерная column-oriented база

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

моноид на эффектах вроде

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

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

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

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

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

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

Если в ДЦ возникнет проблема с сетью, то логи тебе уже будут не нужны

Нужны, конечно.

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

ну и как с аппликативом, что-то может связанное с lax monoidal functor

Если у тебя проблема на более низком уровне, то информация о сбоях на высоком уровне будет a priori искажённой

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

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

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

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

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

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

А ведь я всего-то попросил подсказать библиотеку для логирования.

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

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

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

Много это сколько? У меня порядка 600 серверов

Проблемы с сетью выясняются не логами, а мониторингом