Race в контексте ивентов это странный примитив

Еще такой вопрос, если я хочу раз за разом отслеживать эти два эвента, пока не случится таймаут, мне нужна рекурсия через mdo?

Не очень понял

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

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

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

Тут, кажется, придется повозиться

Но в целом, да, через mdo

Тебе надо будет как-то (зависит от конкретного `m`) при выстреле ивента предыдущего запроса выполнять действие, которое генерирует новый запрос

newTriggerEvent !

Эта штука сразу столько проблем решает

хм, сурово, думал, в терминах рефлекса выразить

Не надо впихивать невпихуемое. Как-то так

А вот и даты и площадка!

(x, y, z)

Парк-отель “Ершово”, 60 км от Москвы (https://ershovo.su/).

τ

17 июля - 01 августа 2021 года

Школа состоит из трёх блоков:
- интенсивов по ФП и верификации (вводных и продвинутых)
- воркшопов (фаззинг и модел чекинг ~> кубические пруверы, логики некорректности, верифицированные компиляторы <~ слабые модели памяти)
- и хакатона

Можно приехать на пять дней воркшопов с 24/07, захватить также хакатон (всего получится девять дней), или загулять на все шестнадцать с 17/07.

Онлайн пре-школа

Дабы заполнить пространство между новичками и экспертами тёплой жировой прослойкой энтузиастов, предлагаем такой формат: можно взять проект и сделать его до школы под руководством наших менторов. Это даст вам доклад на школу и подготовит к воркшопам.
Хотите участвовать? Хотите менторить? Пишите!

Регистрируйтесь скорее на https://лялямбда.рус! Площадка забронирована за нами при условии 30% предоплаты до 28 апреля.

Есть странный вопрос: я хочу иметь доступ (в хаскелле) к статичным файлам, которые есть в git репозитории, и использую для этого embedDir, то есть все файлы при компиляции зашиваются в исполняемый. Но теперь проект с embedDir становится extra-deps ом для другого проекта, и там этих файлов по такому пути нет. Нельзя ли заставить stack копировать эту директорию для сборки? Не хочу все эти файлы литералами вставлять

А, кажется это просто extra-source-files, но там нельзя директорию а надо файлы по одному, похоже

можно somedir/*

Спасибо, попробую

очень странно. почему этих файлов нет по тому же пути? по какому пути вы их ищете?

Я собираю другой проект где этот как депенденси

А путь относительно репозитория того пакета