ghc сейчас их вываливает 12

ghc сейчас их вываливает 12

Давно ты тут?)

я тебе написал как не описывать все варианты

выше

полный код

Давно ты тут?)

в плане?

в плане?

Ну ты то в скале, то ещё где-то )

я везде кроме руби)

вообще пару месяцев, а что?

@gurinderu отвечай, собака

Прост

Все, я не отвечаю 4 часа)

A Z вообще проще полный код на гист, чтобы ответ воспринимался и можно было просто запустить

а так show.SomeException это универсальный способ превратить в строку любое исклбчение

если у тебя уже используются расширяемые исключения, то просто show

но судя по тому, что у тебя Either e x результат, то у тебя уже есть какие-то обертки вокруг

угадать без гиста которые тяжело

угадать без гиста которые тяжело

указание одного типа ошибок помогло

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

или потребует их всех

что значит все возможные варианты?

смотри, что значит f :: Exception e => IO (Either e A)?

ну вот я добавил ghc-options: -fprint-potential-instances и получал 12 потенциальных типиов, половина из них конечно стандартные, остальная часть вроде как по смыслу подходит

то есть http ошибки

это значит что есть функция f которая может вернуть значение e _которое потребует юзер_

не, какое решит f, а какое попросит юзер

т.е. тот кто пускает функцию выбирает e

т.е. эта сигнатура, врятли верная в принципе

как это может работать

мне нужно сделать более конекретные тип ошибки я правильно тебя понял?

не знаю :) я не знаю твоей задачи, сейчас напишу возможности, ты сам выберешь

т.е. если у тебя f определяет исключение можно сделать свой sum type для ошибок

если выбор пользователем это нормально (там внутри try)

то делаешь новую сумму исключение data MyException

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

тогда заработает f >>= \case { Right x -> pure x; Left e@MyException{} -> show e}

как работает SomeExeption

у меня внутри f могут происходить ошибки с двух разных библиотек, которые вообще никак не связанны, и те и другие используют Control.Exception я наивно подумал, что Control.Exception это общий интерфейс для всего, что только могут написать

data SomeException = forall e . Exception e => SomeException e

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

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

это враппер, в котором словарики для Show,Exception

рили придётся свою обёртку для этого городить?

и там может лежать любое исключение

это уже есть в либе

т.е. если ты делаешь throw (YourException)

то оно оборачивается в SomeException внутри

когда ты делаешь catch/try

то оно делает fromException :: SomeException -> Maybe e, где e определяешь ты

если там Just то обработчик срабатывает, если нет, то исключение бросается выше

т.е. хоть там 100500 либ используют расширяемые исключения, то ловлей SomeException ты словишь вообще все

т.е. код вида catch f (\e -> show (e::SomeException))

ловит вообще все исключения

вообще в Control.Exception очень хорошая документация на эту тему, где все раскрывается

и ссылки на статьи

статьи тоже хорошие и понятные

@azzaazaa примерно понятно?

да

вообще функция с такой сигнатурой как f очень неудачная, она немного ломает фреймворк

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

т.е. если в хаддоках не написали, то ты не узнаешь что тебе ловить

следятся?

ну вот есть f :: IO A что оно там бросает неизвестно

т.е. если ты сделаешь catch (f >> g) smth

то что тебе в smth ловить ты не знаешь

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

ну через SomeException не важно

(почти)

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

show

любое исключение имеет словарик Show

ну +- все что я написал выше

т.е. что у `f`наверняка неверная сигнатура

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

т.е. f x >>= either show pure неизвестно что за тип ожидает эта функция

f x >>= either show @SomeException pure определяет

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

когда-нибудь покажу 😃

из кода обычно делаешь что-то вроде: inner `catches` [ Handler $ \A -> .... , Handler $ \B -> ... , Handler $ \(x::SomeException) -> unknown-yet-exception-here ]

@azzaazaa вообще скорее всего хочется так: f :: IO (EIther SomeException x)

ок)