редко где такое встречается

Ну и просто весело

ну не весело, но просто помогает

я и с ерланга на еликсир сбежал, когда на питоне пописал прилично

понял, что на ерланге не жизнь

Фи, перебежчик

Питон тебя покусал

на х-е давно не писал, кстати

надо бы ещё чёнить наваять

Ну я использую. serokell.io

кардано запустили?

=)

Тестнет уже во всю бегает :)

вы вообще нехорошие люди, с WT сотрудничаете, с FPC сотрудничаете, а чего с нами не сотрудничаете?

=)

что такое serokell.io?

рабочие руки IO HK

https://iohk.io/

хм.. чего-то у меня мегамодный сайт этот не работает сегодня

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

хм.. чего-то у меня мегамодный сайт этот не работает сегодня

disruption

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

хм.. чего-то у меня мегамодный сайт этот не работает сегодня

Когда я его открываю, то начинают кулеры шуметь :(

ладно со второй попытки заработал

Когда я его открываю, то начинают кулеры шуметь :(

это х-ь в жаваскрипт компилится прямо у тебя

но наверное люди отуда расскажут, кто такие serokell.io и hkio лучше меня, так что я помолчу

это х-ь в жаваскрипт компилится прямо у тебя

Скорее блокчейн майнится

или и то и другое

@jagajaga на самом деле если подробнее расскажете то будет всяко интереснее

вы вообще нехорошие люди, с WT сотрудничаете, с FPC сотрудничаете, а чего с нами не сотрудничаете?

С вами это с кем? :)

рабочие руки IO HK

Не совсем так. Мы равноправные партнёры.

@jagajaga на самом деле если подробнее расскажете то будет всяко интереснее

Что интересует? :)

С вами это с кем? :)

tweag I/o

Что интересует? :)

ну вот людям тут было интересно кто вы, я вроде как в курсе более-менее

tweag I/o

Пока нет необходимости к сотрудничеству, но буду знать! Огромное спасибо за информацию, не слышал о вас :)

можете о нас у Дункана спросить, он нас немного знает

: )

Serokell -- аутсорсиноговая компания, пишем на хаскеле (и related вещах, например purescript), используем nix и nixos, применяем магию. На данный момент тесно дружим с IOHK, вместе разрабатываем криптовалюты и всякие исследования делаем.

кроме суперлаконичного сайта есть что-нибудь?

общественная дейтельность. открытые либы, выступления, статьи

github.com/input-output-hk/cardano-sl весь код наш, например

Посколько мы на аутсорсе работаем, то у нас в github.com/serokell мало всего

о, ну хотя бы на прелюд можно посмотреть

Кстати, мы ищем разработчиков! :) Пишите в личные сообщения, если интересно.

вот обращайтесь к нам будут разработчики :D

https://t.me/haskelljob

а что вы в этом чатике не пишете?

там так уныло

аутсорс аутсорса? IOHK будут довольны :troll:

давайте использовать по назначению

дешевле, чем FPC выйдет, насколько я знаю, и не хуже ?

Но у вас нету кипы у директора, наверное!

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

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

Пока нет необходимости к сотрудничеству, но буду знать! Огромное спасибо за информацию, не слышал о вас :)

а кто знает как сделать такой async ioAction, чтобы ioAction запускался лениво только тогда, когда был вызван wait?

unsafeInterleaveIO не работает?

не пробовал, но это какой-то хардкор сразу

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

надо еще думать

можно сделать так что действие запустится когда твой s используют: let ~s = unsafePerformIO $ async $ ...

тогда как только кто-то зафорсит s

то действие запустится

unsafeInterleaveIO все же другую семантику по сравнению с async имеет

если с wait одного треда они не различимы

то уже с wait из разных или ожидании через STM разница будет

в целом задача вот такая: newtype Pr a = Pr (IO (Async a)) getOrCreateP :: TM.Map k (Pr a) -> k -> (k -> IO a) -> STM (Pr a) getOrCreateP prs k fromIO = TM.lookup k prs >>= \case Nothing -> do let pr = Pr (async (fromIO k)) TM.insert pr k prs return pr Just pr -> return pr то есть идея в том, чтобы по ключу k на каждый запрос создавать ровно один promise, на который мы потом по выходу из транзакции сделаем wait. Но штука в том, что я вижу дофига запущенных fromIO на каждый ключ

то есть либо я что-то фундаментально не так думаю

либо фиг знает

TM - это мап из smt-containers

получается, с одной стороны понятно, что async (fromIO k) может вызываться на каждый рестарт транзакции и это нормально, но выполняться-то он не должен вообще никак

в общем, буду трейсом смотреть, что там происходит

эм у тебя ж лежит IO действие в контецнере

и каждый кто его вызывает создаёт новый тред

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

у меня есть тип: data F = Starting (STM a)| Value a| Stopping (STM ())

запись в Мапу регистрирует тебя и ты потом делаешь IO действие и кладешь ответ, другие ждут

и.е. Nothing -> Starting -> Value

первый тред меняет Nothing на Starting и ему возвращается действие которое он должен выполнить когда создаёт переменную (вызовет async у тебя)

другие треды если поищут к - получат срартинг

и просто вызовут atomically $ action

stopping тут не ыажно

ну и про исключения смотреть надо, т.к. тут хитро

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

и.е. ещё раз, есть Map (Maybe (Either () a))

a=Async x

тред делает lookup >>= \case {Nothing -> write Just (Left ()) return Nothing; Just Left{} -> retry ; Just Right{x} -> return Just x}

и maybe (async >>= \x -> atomically update x) return на ответ

update = lookup>>= case Nothing-> write Just (Right x); Just{} -> invariantViolation

Misha ^^ как-то так, у утра могу по человечески написать

ага, я примерно так и подумал в итоге, что надо data P a = Empty | Working (IO a), сначала класть Empty а уже после завершения транзакции вызывать async

правда все усложняется конечно

эм у тебя ж лежит IO действие в контецнере

тогда еще интереснее, он запускает новый тред, даже если транзакция откатывается что ли? это было бы сильно странно

ты не запускаешь тред в транзакции

ты кладешь туда действие которое когда выполнится создаст асинк

в твоём текущем кода

тогда он должен быть только один на каждый ключ

ага, я примерно так и подумал в итоге, что надо data P a = Empty | Working (IO a), сначала класть Empty а уже после завершения транзакции вызывать async

так не сработает

это действие

его можно выполниьь

хоть одно оно хоть 5 каждый запуск создаст новый async