Dmitry
ага
Dmitry
пробую
Сергей
если в проектном stack.yaml будет enable: false, то всё равно придётся явно указать
Dmitry
ага, да.
Dmitry
щит
Anatolii
ну тогда флажок надо ставить руками
Bodigrim🇺🇦
Антон
Bodigrim🇺🇦
Так это ж не хипстеры, это большой бизнес. С Office 2003 и другими признаками энтерпрайза.
Bodigrim🇺🇦
Я работаю в банке. В страшном сне не приснится распихивать конфиденциальную информацию о транзакциях в, прости господи, блокчейн по каким-то левым машинам. А если хранить данные мы можем только внутри корпорации, в доверенной сети, то все алгоритмы консенсуса нам даром не сдались, можно спокойно класть данные в традиционное централизованное хранилище.
Anatolii
@Bodigrim это не вы выступали в Киеве на митапе в прошлом году?
Bodigrim🇺🇦
Я.
Anatolii
хорошо что такие люди заходят в чаты:)
Bodigrim🇺🇦
Спасибо :)
Anatolii
я от тебя тогда кофточку привез :)
Bodigrim🇺🇦
Та ты шо :)
кана
preuse'
:: (MonadState s m, Alternative m)
=> Getting (First a) s a -> m a
preuse' = maybe empty pure <=< preuse
ничего такого нет? А то уже какой раз пишу этот хелпер для MaybeT (State s)
Bodigrim🇺🇦
Кто будет хранить соответствующий транзакции блокчейн? Банк, клиент, третьи лица?
Антон
Bodigrim🇺🇦
Мировой?
Антон
Ага
кана
кана
тоже часто пишу
Ilya
А ведь list comprehension это по сути та же do-нотация для списков, только чуть присахаренная? 🤔🤔
[f x | x <- xs, cond x]
do
x <- xs
if cond x then return (f x) else fail ""
Ilya
правда не уверен насчёт уместности fail, никогда раньше им не пользовался
Andrey
Не хотел говорить - но все равно от пацанов во дворе узнаете. Дунотация, она это... тоже того... бинты в сахаре.
Cheese
Ю ли я? 🤔
Помнится, было расширение MonadComprehension?
Alexander
а есть аналог?
(>==) :: (Monad m) => m a -> (a -> m b) -> m a
x >== f = x >>= \t -> f t >> return t
Alexander
(теперь это аналоговый чат)
Alexander
скажем, для
[1,2,3] >== (guard . even)
Dmitry
(Monad m) => m a -> (a -> m b) -> m a - Hayoo!
https://hayoo.fh-wedel.de/?query=%28Monad+m%29+%3D%3E+m+a+-%3E+%28a+-%3E+m+b%29+-%3E+m+a
Alexander
Вот в этом и разница. Я выражаю осторожный, но крепкий оптимизм в отношении новых технологий, а не стараюсь аргументировать о том, в чем не разбираюсь
Alexander
Это все оффтопик
Alexander
@Bodigrim так блокчейн это же попытки залезть в финансы и прочее не банкам, а группе более-мелких лиц.
т.е. банкам и прочим сильно централизованым единицам оно и должно быть неудобно
Alexander
если я правильно понимаю идею
Oleg
Bodigrim🇺🇦
Oleg
Сбертех, к примеру активно форсит идею межбанковского блокчейна.
В данном случае это не база для внебанковских операций. Скорее реестр для межбанковских транзакций для уменьшения зависимости стабильности всей финансовой системы от локальных проблем и, потенциально, увеличение потока транзакций
Oleg
Уже несколько банков затянул в эту идею
Oleg
Дополнительно к тому рассматривается идея чейнизации фиатов, как например "крипторубль". Опять же во имя скорости и устойчивости.
Понятно, что подписи ЦБ и сертифицированных финансовых организаций будут играть особенную роль в такой сети.
Bodigrim🇺🇦
Если отбросить загадочную «чейнизацию фиатов», то система с подписями сертифицированных организаций для транзакций - это немного не про блокчейн.
Oleg
Bodigrim🇺🇦
Криптография /= блокчейн.
Oleg
Речь шла о распределённом последовательном транзакционном реестре с развитыми механизмами консенсуса. Так чтобы транзакционный протокол мог работать и был верифицируем, даже в случае провала какой-то из сторон.
Это решает множество проблем. Когда огромные пачки межбанкоских транзакций зависают, т.к. системы банка вырубаются и не могут завершить последовательность.
Когда снэпшоты в банках начинают расходиться и нужна огромная комиссия, чтобы понять, кто прав. Кто потерял, а кто вбросил лишнего.
Это вопрос стандартизированного устойчивого распределённого межбанковского реестра с автоматическим консенсусом.
Криптография /= блокчейн, но и криптовалюта /= блокчейн
Cheese
Alexander
ну это просто пример
Alexander
есть еще runWriter (return "123" >== tell)
Alexander
не говоря уже об IO
Cheese
проще явно написать
do x <- getX
doSome x
pure x
kosc
О, pure, это ж из Applicative.
Bodigrim🇺🇦
kosc
Typeclassopedia осиливаю потихоньку.
Cheese
Oleg
Короче даже я устал от оффтопа. @cryptoanarchy_ru
Евгений
Речь шла о распределённом последовательном транзакционном реестре с развитыми механизмами консенсуса. Так чтобы транзакционный протокол мог работать и был верифицируем, даже в случае провала какой-то из сторон.
Это решает множество проблем. Когда огромные пачки межбанкоских транзакций зависают, т.к. системы банка вырубаются и не могут завершить последовательность.
Когда снэпшоты в банках начинают расходиться и нужна огромная комиссия, чтобы понять, кто прав. Кто потерял, а кто вбросил лишнего.
Это вопрос стандартизированного устойчивого распределённого межбанковского реестра с автоматическим консенсусом.
Криптография /= блокчейн, но и криптовалюта /= блокчейн
Но блокчейн /= финансы, это же просто децентрализованная база данных с высокой избыточностью. Почему когда обсуждают блокчейн, сразу скатываются в финансы, хотя второй популярной областью его применения была база доменных имён, например
Oleg
Arseniy
Чего тут спросы за блокчейн и крипту? ;)
Oleg
на хайлоаде было хорошее выступление про блокчейн как систему для публичного недоверенного хранилища ключей и сетевом протоколе, интегрирующегося с ним. Видео попытался найти - не могу
http://www.highload.ru/2017/abstracts/2860.html
Cheese
Евгений
Alexander
нужен торент-трекер на блокчейне
Alexander
было бы идеально
Alexander
чтобы получить распределенность
Oleg
какое состояние нужно линеаризовывать в случае торрент-треккера?
Alexander
ну в p2p нельзя заанонсить создание торента вроде бы
Евгений
Он переизобретает магнет-линки
Alexander
я переизобретаю интернет на самом деле
Alexander
магнет-линк ведь тоже надо заанонсить
Oleg
*в хаскель чате