Но хаскеллистам грех жаловаться. Это все фигня по сравнению с большими плюсовыми проектами.

Да даже и небольшими

у нас CI прогоняется почти час

это ужасно долго

правда там 15 минут из-за пуша образов в докер

точнее в гугловый registry

не, я хочу понять - в обычных проектах, где всё круто и по уму - бывает такое, что билды ломаются по причине несовершества тулчейна / проблем с кэшем?

т.е это у нас сейчас происходит неизбежное и надо просто найти workaround или это наша недоработка

т.е выбор неправильного тулчейна или неправильное его использование

У serokell своя штука для CI/CD на nix: https://github.com/serokell/derivery Проверяет, что пулл реквесты билдятся (видимо, с помощью stack2nix или чего-то такого), иногда бывает что параллельные сборки одного проекта сводят её с ума и надо рестартить, но не часто. Билды кешируются, как минимум на уровне зависимостей.

stack2nix у меня кстати ни разу не завелся :/

не, я хочу понять - в обычных проектах, где всё круто и по уму - бывает такое, что билды ломаются по причине несовершества тулчейна / проблем с кэшем?

я не видел проектов где все по уму

да ломаются из-за несовершенства тулчейна - т.е. не все по уму

У нас ещё пытались сделать nixage - снепшоты стэка чисто на никсе Но я не слежу за тем, как оно там живёт

Я так понимаю, в этом случае stack2nix был бы не нужен

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

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

А он и хачкель поддерживает?

у нас его используют

что-то для хаскеля там есть.

но я не смотрел

сейчас попробую Марка на этот канал позвать

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

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

в общем @mrkkrp может зайдет на канал скоро и расскажет, а может и нет

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

stack2nix у меня кстати ни разу не завелся :/

я думал я один такой

stackage2nix у меня лежит со своими патчами :/

@voidlizard "> разве что завтра"

?

в inline-java кстати есть сборка bazel-ем

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

Приветы! FPROG_SPB продолжает искать докладчиков на сентябрь, поддержите нас вашими выступлениями)

Приветы! FPROG_SPB продолжает искать докладчиков на сентябрь, поддержите нас вашими выступлениями)

Когда будет митап?

27 сентября

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

27 сентября

Спасибо!

27 сентября

А куда и как написать, если хотим выступить?

мне =)

вы пишете и тут же оказываетесь в программе)

Итак, все места заняты :) Ждем всех в октябре

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

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

Привет всем:)

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

мат анализ? Конечно лучше всего спрашивать про матан в хаскель чате, каждый день тут исследую функции, функциональное программирование же

берете какого-нибудь зорича читаете да и все

Демидович от корки до корки

Демидович от корки до корки

Я скачивал китайский набор решённых задач

Не сразу но постепенно к этому пришёл

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

Вообще задавай вопросы

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

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

если вопрос короткий - в личку, у меня 5 минут есть. Если что-то концептуально-объяснятельное - у меня всего пять минут

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

а лучший вариант - math.stackexchange.com

мат анализ? Конечно лучше всего спрашивать про матан в хаскель чате, каждый день тут исследую функции, функциональное программирование же

ну это функциональный анализ, гильбертовы пространства

Здравствуйте, это хаскель-чат? Как взять интеграл по контору .. от ..

под ZF(C)

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

Больше нуля излишне Можно просто сказать что существует человек в множестве хаскельчата который ответит на вопрос

Больше нуля излишне Можно просто сказать что существует человек в множестве хаскельчата который ответит на вопрос

Это неконструктивное утверждения. Нету процедуры поиска такого человека

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

Ещё в _blah можно спрашивать

Это неконструктивное утверждения. Нету процедуры поиска такого человека

Лол как-то странно такое слышать

Как будто когда говорят логическими утверждениями хоть как-то зацикливаются на поиске

Ну это больше о конструктивных и неконструктивных доказательствах

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

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

смотря что считать “док-вом от противного”, Андрей Бауэр писал о различиях: http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/

Тут про матан спрашивали, а я по терверу вроде несложный вопрос хочу задать… Можно?

можно

но если сложный будет то я тебя забаню

(шутка)

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

Я сложные даже придумать не смогу ) Есть N точек, равномерно распределенных на отрезке [0, 1]. Отрезок делится пополам. Каковы вероятности нахождения в левой половине отрезка 0, 1, .... N точек? Хочется получить аналитический вид кривой при стремлении N к бесконечности.

также устроит ответ на другой вопрос - какова функция распределения величины, характеризующий координату деления отрезка на 2 части, содержащие одинаковое число точек?

0,1..N == всех?

ответ на первое - 0.5^N если я не все забыл

нет, функцию вероятности для каждого N - в дискретном варианте а лучше аналитическую плотность вероятности в предельном непрерывном

ничесе, сразу по памяти!

ну вероятность для точки оказаться в левой отношению площадей т.е. 0.5/1

вероятности - независимые

а вот на второй я затрудняюсь сходу ответить

хотя там ответ наверное простой

@PineappleZombie ^

да, это почти та же задача, но устроит и ответ на первый вопрос. только в 0 и в N вероятности должны быть минимальны. А у тебя в 0 1-ца. или это функция распределения, причем инвертированная относительно оси и от нее надо еще производную взять?

Я сложные даже придумать не смогу ) Есть N точек, равномерно распределенных на отрезке [0, 1]. Отрезок делится пополам. Каковы вероятности нахождения в левой половине отрезка 0, 1, .... N точек? Хочется получить аналитический вид кривой при стремлении N к бесконечности.

Это N независимых испытаний с вероятностью 0.5, то есть получится биномиальное распределение. Если N → ∞, то распределение будет стремиться к нормальному

также устроит ответ на другой вопрос - какова функция распределения величины, характеризующий координату деления отрезка на 2 части, содержащие одинаковое число точек?

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