возможно

Ну вот же

типа https://gist.github.com/Odomontois/a191b302dc931d86ac123327fb3da307

это чо?

зачем ексепшеном ограничивать?

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

а что значит делать объектами?

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

эм

а стектрейс не может быть иммутабельным?

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

никто set там особо не вызывает

там array? Разве что теоретически возможно :)

там есть setStackTrace

никто не юзает

it's just reflecting the runtime :)

там внутри стэктрейс "ленивый"

де дефолту он всегда заполняется

см fillInStackTrace

ну и будет у тебя один стектрейс у всех ексепшенов

ну и будет у тебя один стектрейс у всех ексепшенов

он в конструкторе вызывается

не будет

ну конструктор то один раз у object вызывается

не важно вобщем

throw new ...Exception

это так, на будущее

ничего не говорит?

смотри оригинальную пасту

если у тебя будет val exception = new ...Exception, то да будет стектрейс один

см fillInStackTrace

см getOurStackTrace

кстати setStackTrace можно переопределить и сделать иммутабельные эксепшены

а getStackTrace всегда возвращает по дефолту clone

хотя я потерял суть - несмотря на мутабельность так-то снаружи оно не особо мешает

вообще можно эксепшины делать обьектами

эт такая оптимизация есть даже, если стектреис не нужен)

даже Пангин пару лет назад об этом рассказывал

нафиг тогда их делать ексепшенами?

вообще можно эксепшины делать обьектами

это как?

есть такая штука scala.util.control.NoStackTrace

это как?

object MyException extends Exception

полезность сомнительная

не сомнительная

как минимум new не делаешь

в джаве такое делают статик переменными

но вообще делать ексепшен обьектом это признак мамкиного оптимизатора

ну это не про нас - тут никто экзепшены не бросает

джмх не хочу, стектрейс не хочу, хочу чтобы было збс

я случае с кодом Олега

эти adt кидаются в определенных им случаях

и там просто не нужен exception

да не суть

но вообще делать ексепшен обьектом это признак мамкиного оптимизатора

сомнительное утвеждение

@odomontois ты че хотел сказать то етим кодом?

делаем ставки, господа, куда его пошлют?)

@odomontois ты че хотел сказать то етим кодом?

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

хотя в действительности я им хотел спросить

пришли к выводу что ты <плохую вещь> сделал

а как из него ексепшон то достать?

а как из него ексепшон то достать?

ну в данном примере инстансом еррор монадки

но можно и ОПСов сделать для ньютайпа

вариантов много

хз в теории наверно возможно

но <: Exception уже грустно

но <: Exception уже грустно

/shrug

это лишь пример

можно и враппить более общий тип

ERROR: S client not available

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

ensure тогда не будет палить

нет, можно придумать просто SpecialException[T](value: T) extends Exception и всё

раковато

непонятно почему

потому что ексепшен должен иметь стектрейс например

Кто сказал что должен?

ваши подвороты с обьектами и ноустектрейсами это нарушение lsp

https://gist.github.com/Odomontois/a191b302dc931d86ac123327fb3da307#file-eio-scala-L29 - я уже говорил что тут номатчэкзепшен ловится?

потому что ексепшен должен иметь стектрейс например

и много у тебя в бифунктор ио стектрейсов?

ваши подвороты с обьектами и ноустектрейсами это нарушение lsp

Language server protocol?

https://gist.github.com/Odomontois/a191b302dc931d86ac123327fb3da307#file-eio-scala-L29 - я уже говорил что тут номатчэкзепшен ловится?

чо?

liskov

https://gist.github.com/Odomontois/a191b302dc931d86ac123327fb3da307#file-eio-scala-L29 - я уже говорил что тут номатчэкзепшен ловится?

там recover он PartialFunction жрёт

liskov

И причём тут это?

И в чем нарушение ?

ваши подвороты с обьектами и ноустектрейсами это нарушение lsp

там ж инвариантно всё

о каком конкретно субтайпинге ты говоришь?

Все так ок

ексепшен должен вести себя как ексепшен

чо вы так прикипели к ним?

Он и ведёт себе как эксепшен

франкенштейнов делають

ексепшен должен вести себя как ексепшен

это какая-то житейская мудрость?

Но экскпшен без стектрейсас

это lsp

Типы совпадают

Что ещё надо

а поведение - нет

там recover он PartialFunction жрёт

да(

ексепшен должен вести себя как ексепшен

чем этот эксепшон будет отличаться от того, что ты засунешь в raiseError в IO или Task ?