Влод
а не. поторопился. ну ладно не буду редактировать
Влод
хорошо, для того доказательства он пишет id. и так каждый раз нужно писать тело функции?
Alexander
Будет еще писать забаню
Alexander
Репорт - репортнул
Мерль
Будет еще писать забаню
Лучше сразу
Мб написать бота для превентивного бана с блеклистом?
Таких спамеров легко отслеживать, они обычно в нескольких группах постят неодновременно.
Мерль
http://www.haskellforall.com/2017/02/the-curry-howard-correspondence-between.html
https://wiki.haskell.org/Short_theorem_prover
Alexander
в след раз сразу буду
Alexander
@quetzal ping?
Alexander
если человек сделал RW транзакцию по lmdb базе, и внутри этого кода делает RO (но точно полностью внутри скоупа RW) это нормальная идея, просто запустить вычисления в рамках транзакции выше?
Alexander
т.е.
withRWTransaction $ withROTransaction ...
приведёт с созданию тольк RW транзакции
Alexander
кому нужна книжка http://i.juick.com/p/2862741.png
Alexander
а то реально можно уже собирать
Anatolii
Мне кажется я уже попадал в эту ситуацию☺
Alexander
ну у меня в жуйке подборка за несколько лет
Alexander
половина с *typefun ещё
Quet
если человек сделал RW транзакцию по lmdb базе, и внутри этого кода делает RO (но точно полностью внутри скоупа RW) это нормальная идея, просто запустить вычисления в рамках транзакции выше?
да можно
но лучше наоборот
делать ro транзакцию и внутри неё делать rw на то что надо
Alexander
parent транзакция же только rw?
Alexander
всмысле открывать другую с parent = NULL?
Quet
да
Quet
чтобы у rw был скоуп минимальный
Alexander
угу
Alexander
ну у меня был вопрос когда в RW скоуп больше, мне нужно было написать логичные инстансы для влженных транзакций
Alexander
в итоге сделал что RW друг в друге как вложенные, RO отдельно запускаются
Quet
я б делал тогда внутри одной rw
Alexander
с комментарием как сделать то, что я описал
Quet
а, ну круто
это ты допиливаешь пакет таки?
Alexander
нет пока
Alexander
тут у клиента оказывается ещё свой пакет пилится
Alexander
но я его не видел пока
Quet
больше хаскельных врапперов...
Alexander
может есть шанс что на его основе что-нить заоперсорсить можн
Alexander
я не фанат 100500 пакетов
Alexander
недоделанных
Quet
ну лучше один но рабочий)
Alexander
и вообще не фанат пакетов, так часто удивляюсь когда то, что я считаю мелкой утилиткой в пакете люди опакечивают
Alexander
типа stm-conduit и т.п.
Quet
leftpad блин )
Alexander
в stm-conduit потом конечно наконтрибьютили (криво) всякого
Alexander
что потом пришлось в комеинтейнеры идти
Alexander
кстати надо патч замержить свой ломающий обратную совместимость с кривым поведением
Quet
кстати из всего разнообразия аналогов -- кондуиты самое вменяемое?
Alexander
не уверен
Alexander
они простые очень
Quet
мне казалось ты сноймана не любишь
Quet
и то что он пишет
Alexander
да. но он очень много написал, непользоваться тяжело
Misha
снойман маньяк какой-то вообще
Alexander
если честно многие либы методом проб и ошибок стали хорошими
Quet
ну вместо кондуитов пайпы или что там ещё
Alexander
кондиты классный пример
Alexander
machines, pipes, conduits, iteratee
Misha
такое впечатление, что он ночами на редбуле стучит по кнопкам как пулемет
Alexander
ну и streams ещё из новых
Alexander
machines одни из лучших по идеям, но тормозные
Alexander
iteretee нормальные фиг найдёшь, там 100500 библиотек из которых нормальных мало
Alexander
так что pipes, streams, conduit наверное основные кандидаты
Alexander
вообще я давно ничего не писал что стриминга требует
Misha
streams - это System.IO.Streams?
Alexander
https://hackage.haskell.org/package/streaming
Alexander
sorry
Quet
кондуиты самые mature наверное из всего этого
Alexander
pipes минимум сравнимы
Alexander
let bLockForWrite = bWriteTxn && isNothing parent in
-- allow only one toplevel write operation at a time.
when bLockForWrite (_lockEnv env) >>
Alexander
😢
Alexander
взяли и лок посреди программы засунули
Alexander
лок на целое окружеие
Alexander
ура!
Alexander
все тесты прошли
Max
мимо
Alexander
ну мимо там много прошло, но они и так мимо ходили
Alexander
haskellbook если готов 60$ отдать и читать английскую книгу
Alexander
Learn you a haskell for the great good - есть бесплатная, немного устаревшая но для начала нормальн
Vladimir
У меня дежавю
Vladislav
Что там про нанорубли было? Не успел прочитать)
Ilya
А какое образование?
Dmitry
"вкатиться в айти" начиная с хаскелла - хорошая попытка, но не самый простой способ
Vladimir
ну вы че, ребят, он же тут писал неделю назад
Vladimir
300+ сообщений срачика
Dmitry
а, это троллинг что ли