просто отсуствие даже гарантии, если функция создать снапшот завершилась, то данные будут сохранены за исключением если был fs corruption

хотя наверное нет

ну там по мотивам lmdb вроде?

https://github.com/haskell-haskey/haskey

https://github.com/dmbarbour/haskell-vcache еще находил когда-то

но везде всякие приписочки

типа not ready for production и всякое такое :(

Haskey (an embedded key-value store modeled after LMDB) Student: Henri Verroken Mentor: Steven Keuchel Co-mentor: George Karach

lmdb кстати очень маленький

<10kloc

на си

вот там ещё Зефиров делал key value на haskell

вообще serokel молодцы что нативное решение используют

@jagajaga он опять нас с одной буквой l написал!! всё, разрывай дипломатические отношения

разорвал договор

чорт

@lightgreen буков слишком много, я больше чем creat запоминть не могу, тяжелое сишное прошлое

https://github.com/hmemcpy/milewski-ctfp-pdf

Wow, noice.

https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/ctfp.texi#L113

тут чето целой второй части нету

WIP

Не очень понятно зачем делать часть (3) перед (2), но ок

https://github.com/TerrorJack/nodejs-interop/blob/346c2b4221a569974d9844d297c89cdf7877c584/README.md#readme

https://www.reddit.com/r/haskell/comments/72gc7n/rust_has_safety_features_less_room_for_bugs_yet/

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

Серокель ?‍♂

ллъ*

По моему, за "Хаскелл" было столько же голосов, сколько за "Хаскель"

голосов где? ?

Народ выходил на площадь и кричал, чо за вопросы?

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

тут голосование устраивали

Хаскелл или Хаскель? Хаскелл – 9 ??????? 45% Хаскель – 9 ??????? 45% Другое – 2 ?? 10% ? 20 people voted so far.

ну ладно, результат с тех пор немного изменился

интересно узнать как эти люди "хаскелл" читают вообще

наверно, как “максвелл”, только “хаскелл”

я уже предлагал хацкель?

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

неплохая идея

кулхацкель

Hackell

Huskhell

я уже предлагал хацкель?

мне нравится хацкель

Привет что читать следующее после "Изучай хаскель во имя добра"

Канта. Вообще у @lightgreen была какая-то подборка статей (или книга?) с профаунд фичами. Еще я хотел http://haskellbook.com/, но они вроде тот же материал покрывают что lyah.

А вообще если погуглить, то можно наткнуться на этот пейдж: https://wiki.haskell.org/Books

http://book.realworldhaskell.org/read/ Вот этот ресурс в выдаче гугла всплывает достаточно часто, но я подозреваю что там многое уже outdated и _совсем немодное_.

просто читать - до одного места

иди каты например решай

@xgrommx а какую инфу они покрывают вообще?

Я вообще не очень представляю себе как промоделировать задачу "показать человеку как строить человеческие монад стэки" в контексте задачек — для этого надо написать софтину

Для закрепления понимания можно порешать задания для курса NICTA - после LYaH хорошо зайдут

А читать - Parallel and Concurrent Programming in Haskell

По монадкам и трансформерам можно почитать пейпер "All about Monads" - там для каждой из базовых монад есть пара понятных примеров

Я еще нахожу typeclassopedia мастридом, там как раз уровень невысокий.

"как строить человеческие монад стэки" - тут всё похоже на пресловутые паттерны проектирования: нужно состояние, втыкаешь State, нужна запись промежуточных результатов - Writer

+1 за typeclassopedia

"как строить человеческие монад стэки" - тут всё похоже на пресловутые паттерны проектирования: нужно состояние, втыкаешь State, нужна запись промежуточных результатов - Writer

Ну вот мой личный опыт разработки показал что надо пользоваться одним ридером всегда.

:peka:

https://www.fpcomplete.com/blog/2017/06/readert-design-pattern

Глубокие стэки нечасто бывают в жизни

Глубокие стэки нечасто бывают в жизни

Смерть от дупликации кода и инстансов (или ликов), тем не менее, приходит раньше.

Ну если размер стэка 3 то можно пережить, наверное

3 - норм. Плохо, когда все три слоя присутствуют в сигнатурах большей части кода - когда даже чистые функции запачканы по причине того, что "так быстрее писать"

А, ну тайпкласс фигакс на свой слой. То как ты описал — да, жутко. Дальше распутывать макароны будет мучительно больно.

а после того как научишься делать стеки - берёшь и используешь ReaderT Env IO и морфизмы между такими

Не понял про морфизмы. Если речь идет о том чтобы какой-то кусок заменить на другой, то вроде хватает https://hackage.haskell.org/package/mmorph-1.0.9/docs/Control-Monad-Morph.html#t:MFunctor

и подобных

(если стэк ненулевой высоты)

https://www.youtube.com/watch?v=YTaNkWjd-ac не к этому ли видосу референс?

Control.Monad.Morph - это конечно про морфизмы, и или оно будет использоваться или руками, у Кметта конечно более полный и хороший вариант

впрочем в случае с ReaderT Env IO эта полнота не нужна

ReaderT Env IO это на верхнем уровне. Локально то и другие монадки могут быть, особенно в чистом коде - ExceptT/ValidationT всякие и State тот же

да\

Бесспорно, иначе всё очень плохо абстрагируется.

я про то, что идти в сторону больших стеков, которые 32Гб памяти при сборке выжирвают тоже плохо

а у нас есть простой варинт, как сделать так чтобы traverse/alternative при хождении по map ключи видело?

traverseWithKey

Кстати есть где-нибудь best practice по отделению чистого кода от трансферов и монадок? А то каждый раз как нужно делать походы в базу вылезает IO

Абстрагируй базу тайпклассом.

Либо абстрагируй логику модификации и сделай инстанс через базу (с io констрейнтом) и через еще что-нибудь

@cblp_su общее, а не из либы, так то ответ foldrWithKey

Абстрагируй базу тайпклассом.

Не очень понимаю как)

а у нас есть простой варинт, как сделать так чтобы traverse/alternative при хождении по map ключи видело?

в линзах есть класс TraversableWithIndex, можешь его заюзать

class MonadDb m where operationsWithDb :: ...\

@cblp_su общее, а не из либы, так то ответ foldrWithKey

не понял. надо её более общо, чем foldrWithKey?

class MonadDb m where operationsWithDb :: ...\

Да. Очень зависит от того какой базой пользуешься. kv storage проще абстрагируется — просто класс с add/insert/delete.

SQL-shit нет опыта

что-то что работает над любым applicative,alternative нужной формы

или newtype какой в который завернуть

Хотя наверно можно абстрагировать не саму базу, а операции над данными, потом закинуть это всё в монадку и в тестах можно будет подставлять Id

ещё если не нравятся mtl-style монады, то можно в data structure все завернуть