все ребиты и бинстолки могут поломать воркфлоу, так как без транзакций нельзя атомарно завершить одну задачу и запланировать ещё 10

Не знаю, имеет ли это значение, но систему мы написали и отладили за 3 месяца. Мой напарник занимался инфраструктурой (БД и RabbitMQ), а я - языком, раннером, интерпретацией

ну вообще прикольно

а зачем? )

все ребиты и бинстолки могут поломать воркфлоу, так как без транзакций нельзя атомарно завершить одну задачу и запланировать ещё 10

Я не очень осознаю проблему. Есть централизованный сервер, где задачи трекаются. RabbitMQ лишь нужен для того, чтобы доставлять сообщения между Workflows.

* централизованный БД-сервер

а зачем? )

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

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

А еще они хотели сдавать свои мощности в аренду другим компаниям, чтобы те писали себе workflow для бизнес-процессов, заливали эти скрипты, и те выполнялись. Причем, безопасно.

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

Деталей не помню, к сожалению

у майкрософта куча софта с логикой, про которую ты говоришь

Может, и поломается

Ну а то ж. Workflows только ленивый не делал

там прям визуально можно настраивать и обмазавшись сишарпом кодить

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

там прям визуально можно настраивать и обмазавшись сишарпом кодить

ты про WF?

Всем привет, Bitgram ищет разработчиков Проект p2p биржи для криптовалют, аналогичной LocalBitcoins. При заходе на биржу пользователю предлагается список наилучших предложений от трейдеров для выбранной системы оплаты и месторасположения пользователя. Для продажи криптовалюты пользователи и трейдеры отправляют средства на внутренние кошельки, через которые реализовывается escrow для сделок. При возникновения конфликта во время сделки, пользователю предлагается начать диспут, в результате которого модераторы решают конфликтную ситуацию. Поддерживаемые валюты: BTC, LTC, Cardano, DASH, Monero, ZCash. Реализовано: * Кошельки и балансы пользователей * Создание/редактирование/просмотр предложений трейдеров * Поиск предложений трейдеров * Глобальный чат с пользователями * Отображение текущих курсов валют * Отображение графиков курсов валют (свечи) Необходимо реализовать: * Проведение сделки по предложению трейдера * Система диспутов при возникновения проблем при проведении сделки * Вёрстка информационных страниц * Опыт работы с Haskell от 2 лет * Знание технологий и библиотек: - PostgreSQL - servant - GHCJS - reflex-dom - NixOS и Nix * Опыт работы с bitcoin CLI * Опыт работы с AWS * Опыт развёртывания систем с помощью nixops * Знание английского на уровне Intermediate+ ставка от 20 евро в час контакты Telegram - @bitgramoff adm.bitgram@gmail.com

ох, еслиб я помнил название, это было лет 7-8 назад

ну да, WF https://docs.microsoft.com/en-us/dotnet/framework/windows-workflow-foundation/whats-new-in-wf-in-dotnet

Существуютли хорошие статейки про изоморфизмы на АСД?

@qnikst а в катипе же нельзя поменять уровень месседжей у скрайба?. Типа по сигналу ставить DebugS?

в дефолтном нет

Существуютли хорошие статейки про изоморфизмы на АСД?

ACД? ЛСД?

асд?

но ты же все равно свой сделал?

Абстрактное синт. Дерево

Абстрактное синт. Дерево

AST)

и что значит изоморфизм?)

(1+1)+(1+1) то же что и (((1+1)+1)+1) и тому подобное

Это разные синтаксические деревья

Денотация одна (4), потому что сложение коммутативно, а AST явно разные

ну это как идея с какой-нибудь дистрибутивностью, ast разные, но исход одинаков

Просто речь шла об изоморфизме AST, но что под этим подразумевается я так и не понял.

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

Вот, хорошо бы по операциям и ast понимать что деревья разные а результат тт же без вычисления

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

это называется equational reasoning, переписываешь одни тёрмы в другие, пользуясь свойствами вроде коммутативности, сохраняя семантику

это называется equational reasoning, переписываешь одни тёрмы в другие, пользуясь свойствами вроде коммутативности, сохраняя семантику

агдавское что-то вроде?)

да не, в агде как раз такого нет

в Coq так доказательства работают (там надо тактиками тёрмы переписывать), но Гонзалес так на бумажке в Хаскеле делает

http://www.haskellforall.com/2013/12/equational-reasoning.html

Хммм, надо будет в скалу украсть

да не, в агде как раз такого нет

я просто помню такое https://github.com/konn/equational-reasoning-in-haskell

смешно, что за 30 лет так и не сделали автоматический переписыватель по правилам в репле, как для матпакетов всяких сделано

я просто помню такое https://github.com/konn/equational-reasoning-in-haskell

а, значит есть и в Агде

(для корки сделали, правда)

правда он уже сгнил

смешно, что за 30 лет так и не сделали автоматический переписыватель по правилам в репле, как для матпакетов всяких сделано

В мепле такой некислые rofl вызывает

Замена там интересно работает

http://www.haskellforall.com/2013/12/equational-reasoning.html

мне кстати кажется, что в hlint похоже правила переписывания работают

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

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

да не, в агде как раз такого нет

штооооо

https://github.com/agda/agda-stdlib/blob/master/src/Relation/Binary/EqReasoning.agda

выглдит чуть лучше чем брейнфак

намного лучше

поясни мне тогда зачем агда и в чём разница с идрисом

Агда хотя бы работает

В агде меньше кодерского сахара и больше сахара для красиво-выглядещей математики. Она компилится в haskell. В ней зашит MLTT, а не хитрая брейдиевская ТТ с линейщиной. В агде можно отключить K аксиому и паттерн-матчить, не ломая HoTT

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

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

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

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

Слова большинства людей про haskell и ocaml

гайз, а кто-то сталкивался с тем что stack ghci не грузит hsc модули?

Я сталкивался, но решения не нашёл

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

Я сталкивался, но решения не нашёл

:(

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

все пытаются починить оптимизацию "циклов" вида forM_ [1..n] \i -> https://phabricator.haskell.org/D5131 ну и само собой > A quick run of NoFib revealed no regression or improvements whatsoever.

все пытаются починить оптимизацию "циклов" вида forM_ [1..n] \i -> https://phabricator.haskell.org/D5131 ну и само собой > A quick run of NoFib revealed no regression or improvements whatsoever.

А что это за NoFib? Уже несколько раз упоминался

А все, нашёл

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

обычно он показывает no regression or improvements whatsoever

Числодробилки и парсеры?

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

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

y a r u y a r i будет жить. Поприветствуем!

Интересно, а здесь есть те, кто в проде используют GHCJS?

bitgram

Вот из-за них и вспомнил