в идеале unnest и все

https://hackage.haskell.org/package/tuple-morph-0.1.0.0/docs/Data-Tuple-Morph.html

о, круто, спасибо

https://hookrace.net/blog/a-taste-of-haskell/

Кто-нибудь тут пробовал Idris? https://en.wikipedia.org/wiki/Idris_(programming_language)

чуть-чуть поиграться, понравилось, многие вещи которые запаришься писать на haskell там очевидные

но не уверен, что для реального кода подойдёт

Опрос! А вы все в Either запихиваете значение в Right, а ошибку в Left?

https://hackage.haskell.org/package/base-4.9.0.0/docs/Data-Either.html

> The Either type is sometimes used to represent a value which is either correct or an error; by convention, the Left constructor is used to hold an error value and the Right constructor is used to hold a correct value (mnemonic: "right" also means "correct").

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

да, я видел конвеншн, я как раз хотел убедиться, что все так и делают)

ну паттернматчить можно как угодно, в принципе

ну да я понял

вопрос можно закрыть)

кстати, вот хотел спросить

когда я довольно давно читал про IO я увидел то в хаскеле ошибки бросаются как в других языках. разве не более haskell-way возвращать какой-нибудь Either?

Ну IO подразумевает сайдэффекты из внешнего мира, вообще неизвестно какие. Если что-то фейлится, то можно сделать -> IO (Maybe) или IO (Either)

не везде же ошибки бросаются, в принципе

https://hackage.haskell.org/package/base-4.9.0.0/docs/System-Environment.html Вот, например, lookupEnv

ну как бы да

но вспоминая тот же Rust, у них это сделано через Result<T, E>

просто получается, что в хаскеле есть ошибки двух типов

которые возвращаются как значение и которые бросаются, как в других языках

и понятно, что однообразие было бы лучше

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

Ну идеоматично как раз either использовать

А так да, не приятно видеть error где-то

кстати, кто-нибудь дочитывал haskellbook?

какой feedback?

Может, так компилятор работает, он же не сразу в асскмбли код преобразует

я не дочитал. мне стало лень и я поругался с крисом

поругался? )

я дочитал, норм книжка

а что за история с Крисом?)

Ну когда эти ребята haskell-lang сайт делали и вся эта история вокруг

Там Крис и еще пара человек делали не очень хорошие действия, типа подписывания петиций именами людей с ней несогласных и т.п.

И Крис из той компании один из самых неадекватных мвдаков

Книжка впрочем хорошая

помойму вы это обсуждали в каком-то из подкастов

Возможно

Ну когда эти ребята haskell-lang сайт делали и вся эта история вокруг

а что там за история с сайтом? вроде ж давно выкатили эту новую версию

Ну давно эта история и была

Не новую, а альтернативную

как дебажить чрезмерное потребление vmem? Запустил сейчас свой бинарник на сервере послабее с 4гиг ram, и он сдох на 100 параллельных подключениях через 5 минут

есть может тут конфа кодеров на Rust?

Может тут - правда мало участников https://telegram.me/rustcoders

prof и вперёд

Если не боевой билд

В принципе при наличии gdb и усидчивости можно и без prof

Но это хитрая магия

В ghc мануале не плохо описано как отлавливать

https://ghc.haskell.org/trac/ghc/wiki/Debugging

Но это хитрая магия

да уж, слишком тяжело

Может тут - правда мало участников https://telegram.me/rustcoders

спасиб, я pro.RUST нашел уже

спасиб, я pro.RUST нашел уже

Можно ссылочку?

и понятно, что однообразие было бы лучше

Да, меня это несколько раздражает в хаскеле. Исключения нужно обязательно документировать. Да и чистый код может на error упасть.

Везде пихать Either, конечно, тоже не сахар

Да, меня это несколько раздражает в хаскеле. Исключения нужно обязательно документировать. Да и чистый код может на error упасть.

и ладно бы если бы исключения были частью типа функции, как в той же джаве

Везде пихать Either, конечно, тоже не сахар

ну как бы везде пихаем Maybe и норм

Maybe для ошибок типа "ок или не ок"

Да помойму either только и должен быть

От эрора хорошего не жди

Когда нужна причина - либо throwM, либо Left MyError

Maybe для ошибок типа "ок или не ок"

я просто провожу аналогию

ну в общем, ты понял

а есть какие-нибудь либы для IO, которые возвращают исключения через Either?

Так это

try

Из прелюда прямо

Или лучше всего использовать MonadThrow

Пакет exceptions

ок, посмотрю

у меня, кстати, есть вопрос

Оборачиваешь в EitherT SomeException IO

Во это да

И разве что асинхронные исключения пройдут

я не очень хорошо знаю хаскель, знаю монады, совсем немного представляю как трансформеры работают. задача из жизни: мы читаем из файла конфиг и держим в памяти, подписываемся на редис канал и каждый раз когда в канал приходит сообщение мы считываем файл конфигов еще раз и обновляем содержимое памяти. решал я ее на NodeJS и решается она довольно просто. дело в том, что с моими знаниями хаскеля, я не представляю, что тут делать, а задача весьма реальная и касается изменения глобального стейта. как ее можно решить в хаскеле?

А в чем проблема?

Берешь либу для работы с редисом