точнее, постоянно ждём, но приходят (а)периодически

да, какого-то

точнее, постоянно ждём, но приходят (а)периодически

вы, емнип, хаскеледжунов не берёте

к слову о servant а какой там правильный путь передавать через QueryParam список?

есть вариант ключами с одинаковым именем

мы постоянно набираем

вы бы лучше заключали контракты с зарубежными и не очень фирмами на верификацию и доказательства вещей о коде заключали ;)

вы, емнип, хаскеледжунов не берёте

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

вы, емнип, хаскеледжунов не берёте

по джунам serokel спецуиализируется

но апворк тока для перевода бабла был :)

а как-же зонд?

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

или забить с делать ReqBody

всё через боди и post. тру рпц

Я тоже на Апворке над одним проектом работал. В копилку.

вы бы лучше заключали контракты с зарубежными и не очень фирмами на верификацию и доказательства вещей о коде заключали ;)

да, я такую мысль давал, но начальство что-то не хочет

есть вариант ключами с одинаковым именем

ну если я пишу QueryParam Foo он в хендлере делает Maybe Foo

QueryParam' 'Strict

или типа того

да, я такую мысль давал, но начальство что-то не хочет

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

что кстати приведет к увеличенному шансу для набора людей локально

Летом появилась куча вакансий на Haskell, вообще говоря.

Летом появилась куча вакансий на Haskell, вообще говоря.

Не стоит вскрывать эту тему

а как-же зонд?

Который именно?

Который именно?

апворковский

реддит рекламит вот это: https://functional.works-hub.com/

мне оттуда даже перезванивали неоднократно

Не стоит вскрывать эту тему

мы молодые, шутливые, нам все легко

да, я такую мысль давал, но начальство что-то не хочет

А вы сильно верификацией занимаетесь?

А вы сильно верификацией занимаетесь?

не знаю, где проходит уровень "сильно"

апворковский

ну там процент разве что, но там контора банкет заказывала

апворковский

зависит, некоторые сразу говорят “зонд не надо, репортай offline time”

Kirill Это была шутка про то что апворк требует анальный зонд на компьютер ставить что-бы клиент мог смотреть на скриншоты и активность мышки

Не стоит вскрывать эту тему

А что в ней такого?

не знаю, где проходит уровень "сильно"

А подробности вродеб ты не освещал в паблике или я пропустил?

ну если я пишу QueryParam Foo он в хендлере делает Maybe Foo

как делает servant я не знаю :(

А подробности вродеб ты не освещал в паблике или я пропустил?

не освещал и не владею ими. когда можно будет, осветим. надеюсь

Kirill Это была шутка про то что апворк требует анальный зонд на компьютер ставить что-бы клиент мог смотреть на скриншоты и активность мышки

А, про эту хрень, ну там можно и руками время вписывать и на телефон апп есь, но с др. стороны оно даж лучше организовывает работать, а не в телеге трындеть :)

Ыыыы у меня диплом по верификации ПО и не только

вы бы лучше заключали контракты с зарубежными и не очень фирмами на верификацию и доказательства вещей о коде заключали ;)

не освещал и не владею ими. когда можно будет, осветим. надеюсь

госзаказы чтоль поэтому на запад не пустют и всякие ДСП?

госзаказы чтоль поэтому на запад не пустют и всякие ДСП?

нет, просто проект в разработке и коммтайна

Ыыыы у меня диплом по верификации ПО и не только

coq на хорошем уровне знаешь?

и haskell

на каком-то

ну или другое фп

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

А что на формальной верификации учат?

ПРОЛОГ

Datalog

SMT

SAT

я юзал Z3

у меня есть влажная мечта заставить работать key для скалы

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

если с теорией типов все хорошо, то за семестр можно продвинуться неплохо

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

еще стоит добавить, что есть несколько диалектов Coq, так что за такое ограниченное время лучше учить то, что потом будет использоваться в проекте (если цель — вкатиться в какой-то проект)

@AntonTrunov тебе кстати твиг что-нибудь ответил?

цели такой нет но спецкурс есть

@AntonTrunov тебе кстати твиг что-нибудь ответил?

неа, до техн. интервью не добрались )

а у меня потом другой проект появился и я не стал теребить Мэтью

ясно

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

ResourceT не предлагапть

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

какой-то managed?

Я не понял вопрос про managed

Я не понял вопрос про managed

ну как-то сделать используя Гонзалевский managed

Ок, посмотрю

Я про него не знал

Спасибо

кто-видел уже https://hackage.haskell.org/package/kazura-queue ?

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

Вариант решения: Запустить третий тред, в нем дожидаться двух сигнальных mvar от этих двух. Они отправляют сигнал, когда все сделали.

Третий тред закрывает ресурс

А если я, например, хочу зашарить socket между двумя threads. И закрыть его когда сдохнет только последний поток. Есть возможность это сделать, кроме как через Weak Reference ?

нафиг weak reference

resourcet и то лучше

weak reference слишком ненадёжная штука

но если соберёшься то делай его на mvar в котором сокет хранить будешь

а то шарить ресурс без синхронизированного апи, это такое

третий тред только если он и так и так уже есть

@drcha0s ^

если тебе не поможет resourcet то и managed не поможет

managed это обычный bracket в красивой обертке

а с resourcet можно выразить строго больше, чем с bracket

managed это обычный bracket в красивой обертке

ну как бы с ним можно выразить bracket, но это не только bracket manageBracket :: MonadManaged m => IO a -> (a -> IO b) -> m a manageBracket create destroy = managed ( bracket create destroy )

managed это bracket в обертке