теперь это канал про racket?

Ну, тут люди знающие. Подумал, что может кто подскажет, почему так.

смущает меня тип IO (Either Error ()), зато удобно в API. что делать?

А что там было не так?

да какая-то смешная ошибка из тех что кметт не делает, inlineable вместо inline в инстансах вроде. Это подробно разбиралось в хаскельгиттере

смущает меня тип IO (Either Error ()), зато удобно в API. что делать?

Переписать на трансформерах, очевидно

Снойман всех убедил что ExceptT Error IO () не кошерно, и за такое будут порицать

Так это же одно и то же. А вот MonadWhatever m ⇒ ExceptT Error m () наш раввин одобряет

Но я хочу там тупо IO

Ну пусть будет IO раз удобно

Снойман всех убедил что ExceptT Error IO () не кошерно, и за такое будут порицать

разве?

он писал, что не надо ждать, что все ошибки будет только в Except

ну незнаю, все пишут теперь "ой фуууу, ExceptT e IO a!!!! Лохи!"

это не значит, что все ошибки теперь надо бросать исключениями

вот где мне не нравился никогда ExceptT e IO a, так это в серванте

сейчас хоть hoist сделали и можно не колхозить натуральные трансформации

имеешь в виду, что MonadError m, MonadIO m было бы лучше?

Только что, ребята, я сделал работающий STM на фри монадах.

Только что, ребята, я сделал работающий STM на фри монадах.

и где соурс?

Сурс здесь, но я его сейчас на отдельное репо вынесу: https://github.com/graninas/Haskell-Algorithms/tree/master/Tests/STM/stm-free

Теперь официально: https://github.com/graninas/stm-free

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

Кто знает, что за other-modules: Paths_bar добавляет hpack?

по факту это .stack-work/dist/x86_64-linux/Cabal-2.0.1.0/build/test/autogen/Paths_bar.hs

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

Что-то я не замечал такого за hpack'ом ранее...

Хмм. Проверил такое много где...

легально

В одном проекте с tasty-golden подобным образом ещё и Golden в other-modules добавляется

Ну я понял, что легально. А зачем?

И если я не буду хпачить, то cabal сам неявно это всё подцепит?

Ну я понял, что легально. А зачем?

это штука, которая даёт тебе обращаться к файлам, которые ты засунул в свой пакет вроде бы поле data-files в кабале, но я не уверен

модуль генерится кабалом в любом случае

просто юзеры его забывают добавлять в other modules, когда используют, а потом у них ошибки линковки появляются

так что hpack делает это за тебя на всякий случай

Т.о. 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 что-то делают, значит

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