и дальше извлечь какую-то информацию, например, с помощью Typeable

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

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

Просто уже сталкивался с этим. А что значит "распаковать" SomeException?

\(SomeException e) ->

А)

проматчить конструктор - получишь доступ к объекту внутри со словарями Typeable, Show

и Exception

там выше я статью сбросил

Ок, прям сейчас и почитаю ее. Спасибо!!

там вот все-все это есть

:-)

и даже немного лишнего

Снова я со своей проблемой. Попытался написать тип того, что я хочу: convertException :: ( MonadError e1 m1 , MonadError e2 m2 ) => (e1 -> e2) -> m1 a -> m2 a Это вообще реализуемо?

нет, если нету MMorph m1 m2

https://hackage.haskell.org/package/mmorph-1.1.0/docs/Control-Monad-Morph.html

иначе у тебя нету средств "запустить" m1 внутри m2

т.к. ты вообще ничего о нем не знаешь

если есть MMorph или forall a . m1 a -> m2 a то можно

тогда наверное даже e1 -> e2 не нужно будет, оно будет внутри этой функции

ну или какой-нить MonadTrans между m1 m2

т.е. чтобы запустить контекст m тебе нужно знать его структуру, обычно это caller делает

а тут ты про m1 ничего не знаешь

@artemohanjanyan в чем проблема понятна? и если не понятно, то каким языком лучше объяснить?

Проблема понятна, как лучше решить всё ещё не придумал.

какие-то конкретные m1 и m2 у тебя есть?

https://twitter.com/rufuse/status/934018611051728896 в твиттер пинганите, если интересно

какие-то конкретные m1 и m2 у тебя есть?

Ну, я знаю, что в итоге там будут комбинации стандартных State, Except, IO

Проблема понятна, как лучше решить всё ещё не придумал.

m1 от m2 чем отличаются кроме типа в констрейнте MonadError?

т.е. ты сейчас грубо говоря хочешь convertException bla (Нёх f :: Нёх a) :: Хрум a

причем про Нёх и Хрум метод знает что они могут делать throw и catch

Я хочу не конкретно это, а вообще какой-нибудь способ работать с исключениями

Способов работы с исключениями - вагон и маленькая тележка. Можно MonadThrow юзать, можно в MonadError таскать open-union, можно что-то еще делать. Я до сих пор не понял что вы точно хотите сделать.

Я хочу не конкретно это, а вообще какой-нибудь способ работать с исключениями

Выше как минимум три предложили. Тут либо мы задачу уточняем, либо хз.

https://twitter.com/rufuse/status/934018611051728896 в твиттер пинганите, если интересно

было бы круто если бы онлайн было

если целый день, то не знаю, как это можно было бы совместить с работой 8(

а так я всегда рад прийти послушать что-нибудь интересное

целый день я ёжика рожу

ёжики considered harmful

когда вы ... то где-то Денис родит еще одного ежика

как алтернатива котенкам сноймана:)

не, Денис категорически против рождения ёжиков

надо стартовать VHUG !

V?

и свинкам бартоша

virtual

а блокчейнн саппорт будет?

у джавистов вроде хорошо получилось

иначе не взлетит

https://virtualjug.com/

ну @catamorphism консалтит же по блокчейну - запилит что-то

> None of them runs tests in isolated DB txns out-of-the-box, which is a very common use-case for webapps. хмхмхм, чего-то я не понимаю в тестировании

почему тест фреймворк что-то делать тут должен, а нужные ручки везде есть

я этот момент тоже не понял

это надо саппорт всех баз данных в каждом тест фрэймворке?

virtualjugs

какое-то vr порно, не иначе

да чушь какая-то

они там много чего странного пишут, хотя и толковое тоже

не знаю, у нас всегда вся изоляция в рамках CI настраивалась

как нужно

новые базы, новые контейнеры, новые кластеры

хотеть от тестового фреймворка запилить нам новый кластер для тестов на Google Cloud - это странно

у нас обычно миграции + сиды разворачиваются на CI

прогнать тесты, слить данные и прибить

вот да

на каждый билд, разумеется

мне начинает казаться, что “фреймворк" это что-то ругательное

+

в джава мире менял в тестах базу на какую-то In-memory

ну там хибернейты всякие

им все равно в какую базу писать

подход так себе конечно

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

а об этом никто не думает

у нас то тоже есть возможность пускать тесты хоть на локалхосте

зачем?:)

которые потом в облаке работать будут

но там разные codepath

поэтому даже пройденные локальные методы не отменят кластерные тесты

с базами та же фигня начиная с какого-то уровня сложности

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

всегда так, впрочем, даже если тестишь, то тоже вылезает