Т.о. hpack меня защищает от меня-дурака? Ну я рад :)

Спасибо! Буду теперь спокоен :)

Кстати, открытие дня для меня: в hpack можно сделать один executable: main: Main.hs и он автоматически получит имя, как у пакета! Удобненько! Теперь минимальный работающий package.yaml выглядит так dependencies: - base executable: main: Main.hs

Это вообще легально?

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

Я просто сам не дописывал его в .cabal, вот и удивился

подскажите пожалуйста, если кто в курсе, как использовать изоморфизм из Lens, если хочешь ограничиться microlens?

из документации это не особенно ясно

Скопипастить себе из lens?

Сами Iso не требуют ничего кроме профункторов вроде. Вот комбинаторы требуют

from, например

изоморфизм можно использовать как обычную линзу, тут все просто а вот инвертировать изоморфизм, используя только microlens, уже сложнее вообще, раз появилась зависимость от lens, зачем юзать microlens?

Может хочется предоставить API с изоморфизмами без лишних зависимострей

а, то есть сделать изоморфизм, а не использовать

возможно, стоит пойти и сделать все-таки microlens-pro, а не то раз десятый уже вижу этот запрос 🤔 хотя, конечно, лучше бы кто-нибудь за меня сделал 😉 коммит-права с радостью дам

Ну или пользовать кусочек. Для from достаточно скопипастить 10 строк

@lonokhov, @lightgreen, спасибо!

Допустим я хочу подключаемые бекенды для хранения юзеров. Апи вида getUser :: UserId -> m User saveUser :: User -> EitherT UserConflicts m () на даёт транзакции. Можно конечно наделать мелких функций типа markSuccessefulLogin :: UserId -> m () lockOutUser :: UserId -> UTCTime -> m () И наверно оно будет норм, но может такое тоже норм? modifyUser :: UserId -> (User -> Either e User) -> m (Maybe (Either e User)) выглядит ужасно. А если еще приплести возможность UserConflict то совсем тошно. Ну или исключения тогда уж использовать для UserConflict.

Советы?

MonadThrow и выпилить Maybe (Either e User)

не люблю я исключения, Снойманищина выходит :( modifyUser :: Exception e => MonadThrow m => UserId -> (User -> Either e User) -> m User modifyUser :: Exception e => MonadThrow m => UserId -> (User -> Either e User) -> m (Maybe User) Жалко нет вменяемого синтаксиса для анонимных сумм

Так у тебя m то всё равно MonadIO небось

Так что исключения хуже не сделают

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

доки врут, типы нет

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

кек https://github.com/commercialhaskell/stack-templates/pull/112

"Со стэком ваши старые туториалы не сломаются!"

Ну так указывай в туториале явно имя шаблона.

Это как номер снапшота не указать

Хочется предсказуемости - нужно фиксировать всё

я думаю многие даже не думали о шаблонах и их существовании

Я к тому что всё это всегда подавалось под соусам "подумайте о детях". А тут на детей еще и шаблоны вываливать.

В чем посыл то? В том, что "stack - зло, и Снойман - негодяй"? Со стеком стало проще начинать. hpack ещё больше упрощает конфигурирование, как и готовые шаблоны

А потом новички мучаются почему они делают как им советуют - меняют .cabal и ничего не происходит. И опять же stack.yaml vs package.yaml.

посыл в том что в своём глазу бревна нет

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

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

если это отражено в CHANGELOG, который у stack есть, в отличие от многих пакетов, то норм. В доке это учтут тоже, наверняка

впрочем cabal init мне удобнее чем разбираться с шаблонами. и simple шаблон тоже весьма opinionated

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

так его ж ревертнули

А потом новички мучаются почему они делают как им советуют - меняют .cabal и ничего не происходит. И опять же stack.yaml vs package.yaml.

и запилили https://github.com/commercialhaskell/stack/issues/3383

выглядит как раз так, что они молодцы

так его ж ревертнули

ну и ладно тогда. просто некоторые видать успели попасть в окно

вот когда будет бекпак работать в стеке - тогда будут молодцы. А пока они враги прогресса

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

А есть живой проект для юникернелов на хаскеле?

Типа мираж ос

The HaLVM is a proud member of the unikernel.org community

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

Но это повышает вероятность того, что именно этот суперредкий случай не будет обработан корректно. А какая семантика нужна от API?

The HaLVM is a proud member of the unikernel.org community

А его пилят, или PhD уже получен?

ну вроде какое-то время назад реанимировали под эгидой 2-й версии

коммит вон в мастере меньше месяца назад последний

Но это повышает вероятность того, что именно этот суперредкий случай не будет обработан корректно. А какая семантика нужна от API?

Ну если не обработается то не страшно, вернётся 500 и запись в лог будет. А семантика serialized транзакции, для простоты

больше ничего не навру

в майлстоунах уже и 3-я версия есть

Так если пофиг - бросай исключения

на 8.2 пока не перешли

Так если пофиг - бросай исключения

Вот да. Анализ Api через разговор (с собой) в чате помог

хотя вот вижу ветка wip-halvm3-base-backpack что-то делают, значит

Идея для стартапа: чат-бот, которому программисты объясняют свои проблемы

Про юникернелы я спрашиваю из-за https://sdcast.ksdaemon.ru/2018/02/sdcast-74/ пока не дослушал

Идея для стартапа: чат-бот, которому программисты объясняют свои проблемы

Debug-duck-bot

лет 40 назад такой был

на все реплики отвечал "как вы думаете, почему так происходит?", "расскажите об этом подробнее"

Туповат, неправдоподобен, хуже жёлтой резиновой уточки

Уточка с домиком?

ELIZA - Wikipedia https://en.m.wikipedia.org/wiki/ELIZA

о, уже 50 лет

Уточка с домиком?

Бездомная

Бездомная

Напишите премьеру, пусть озаботится

Идея для стартапа: чат-бот, которому программисты объясняют свои проблемы

reply _ = randomOf ["а.. да..", "точно!", "не уверен, что понимаю, объясни подробнее","наверное"]

на все реплики отвечал "как вы думаете, почему так происходит?", "расскажите об этом подробнее"

ну или так

"у кого-то на Stack Overflow была подобная проблема, поищи"

какой-то неправильный чатбот

он должен отвечать, что это все не нужно

иначе слишком будет очевидно нечеловекоподобие

"в окамле часто исключения используются как long jump" ужас

там раннее завершение функций типа списочных на эксепшонах

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

"в окамле часто исключения используются как long jump" ужас

да во многих языках