@elemir90 хотя бы наличия monad mask и некомпозабельность, точнее композабельность с хаками

в итоге получается переихоюретение исключений

в итоге получается переихоюретение исключений

сложно новичку, столько терминов

@elemir90 не новичок, а писать для новичков я не всегда умею

:/

Я забросивший хаскель олдфаг, лол. Про монадмаск почитаю. А под "композабельностью" ты понимаешь невозможность состакать a и b в ErrorT a (... (ErrorT b ...))?

Vasiliy я не понимаю инстанса для ErrorT и почему он правильный..

я-то вообще ничего не понимаю, остаётся надеяться, что грамотные люди разберутся

один кусок возвращает одну ошибку, другой другую, в итоге нужно делать mapEitherT или как там его и их в одну структуру

Vasiliy release в bracket не отрабатывает в случае ошибки

если я не устал и не туплю

последнее вероятно

обычно жалобы на то, что чтобы слепить вместе ErrorT x m и ErrorT y m, нужно делать сумму x и y

+ case (eresource, eresult) of + (Left e, _) -> return $ Left e + (_, Left e) -> return $ Left e + (Right resource, Right result) -> runErrorT (release resource result))

ну вон жалоба эта 4мя сообщениями выше

а тут 2ой кейс

для него мы не вызываем release

обычно жалобы на то, что чтобы слепить вместе ErrorT x m и ErrorT y m, нужно делать сумму x и y

Объединение скорее. Потому что если пересечение типов x и y не пустое, то не надо его дважды включать

Монадмаск это https://hackage.haskell.org/package/exceptions-0.8.3/docs/Control-Monad-Catch.html ?

да

у меня смутное ощущение что проблема была в mask а не bracket

а понял

там проблема в "if the base monad provides no ability to provide multiple exit"

насколько я читал

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

или как это по-русски сказать

да

в чем профит от монадмаск?

можно использовать mask

зачем mask и что такое асинхронные исключения знаешь?

можно пример?

Даже я не знаю

так начнем с асинхронных исключений

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

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

обычно используют для прерывания тредов, но иногда и какой-то message passing с прерыванием выполнения делают

треду иногда не хочется чтобы его прибивали (как и в случае с сигналами), например хочется выделить ресурс и удалить в конце и чтобы ничего не помешало, или несколько действий которые должны быть все выполнены

для этого есть mask :: (forall b . IO b -> IO b) -> IO a -> IO a

так неправильно написал, ((forall b . IO b -> IO b) -> IO a) -> IO a

это наподобии метода withException?

соотвественно мы вызываем mask $ \release -> ... и в ... не может возникнуь исключение

release нужен чтобы снова разрешить исключению прилетать

например bracket пишется как: bracket a r f = mask $ \release -> do x <- a ey <- try $ release x r x either throwIO return ey

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

Это наркомания какая-то. А какое теоретическое обоснование этого театра абсурда? В моё время исключение было просто разновидностью боттом-значения

как попросить другой тред умереть?

Ну через костыли какие-то только

глобальную переменную как в си которую тред должен поллить?

Это не та вещь которая нужна каждый день

вот тут это всё очень годно расписано http://chimera.labs.oreilly.com/books/1230000000929

Но когда ты будешь рад

Parallel and Concurrent Programming in Haskell By Simon Marlow

да, марловская книга прекрасна

глобальную переменную как в си которую тред должен поллить?

Норм костыли

да даже документации в Control.Exception хватит

MonadMask соотвественно обобщает mask на разные монадки

у него и мотивация, и сравнение с другими подходами описаны

@elemir90 https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/asynch-exns.pdf

но практика показывает что марловской книги людям не всегда достаточно :(

@anpryl я думаю даже в вашей кодобазе это используется часто :)

Я такого не видел!

😀

Ладн, почитаю. Хотя так просто не могу придумать никакого пьюр-обоснования

@anpryl все таймауты например

я, честно говоря, её по-диагонали прочитал, но мне хватило, чтоб понять, что надо иметь в виду асинхронные исключения и использовать bracket

сейчас часто за async прячется

типа race a b и все счастливы, а то что там MVar и асинхронные исключения, ну кому это важно?

@elemir90 в статье только старый API

block/unblock

вместо mask

это все естественно для базовых монадок типа ST/STM/IO

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

а, есть же seq

Сегодня получился хороший поучительный вечер 😀

ну асинхронное исключение может прилететь когда угодно

т.е. ты прав, но как бы это сказать

если сделать case somethingPure of ... то вот пока у нас матчится somethingPure там может прилететь исключение, если есть аллокации

@elemir90 посмотрел примеры зачем это может надо быть? там во вступлении

@elemir90 https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/asynch-exns.pdf

Ну такое, они семантику через пи-калкулус строят

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

если сделать case somethingPure of ... то вот пока у нас матчится somethingPure там может прилететь исключение, если есть аллокации

ну да, это всегда надо учитывать, я лично всё либо в bracket заворачиваю, либо в resourcet, если много всего

ну жизнь же сложнее, особенно если всякая сеть/MVar/STM вокруг

т.е. проблемы конкурентности не сводятся к деаллокации ресурсов