RE
А что во всех приложениях эти классы называются Left и Right?
Size: a a a
2020 February 24
QH
Я думаю, что вопрос немного не в этом, а в стиле проектирования и конкретно в возврате упралвения при помощи Either.
Окей, шутки в сторону, я понимаю, что можно объявить domain-specific sealed-тип, но это менее гибко и менее явно.
QH
А что во всех приложениях эти классы называются Left и Right?
Никогда не обращая внимания. Потому что map, fold и т. п.
VP
Кто мешает силед обязку делать при получении?
Если везде использовать разные sealed классы, к ним не получится сделать обобщённые методы. Не писать же их каждый раз заново.
AO
Сколько проектов написал... ниразу Either не понадобился. Что я делаю не так?
Валидация с накоплением ошибок хорошо ложится на either, ну или даже на ior
AN
Окей, шутки в сторону, я понимаю, что можно объявить domain-specific sealed-тип, но это менее гибко и менее явно.
Ну нет. Другое дело, что приятно было бы иметь сокращенный синтаксис для сум типов. Было довольно симпатичное приложение то ли на форуме, то ли в кипах. Там идея в том, что используются те же силед классы, просто над ними упрощенный синтаксис
AN
Если везде использовать разные sealed классы, к ним не получится сделать обобщённые методы. Не писать же их каждый раз заново.
А это зачем?
RE
А зачем к ним обопщенные методы? Если мы в список напихали разных доменных типов то как и зачем с ними "обопщенно" работать? Можно пример?
QH
А что во всех приложениях эти классы называются Left и Right?
Вообще, пытаясь написать свои jdbc-темплейты пришёл к тому, что либо всё позиционное, либо горы шаблонного кода ради именования
QH
А зачем к ним обопщенные методы? Если мы в список напихали разных доменных типов то как и зачем с ними "обопщенно" работать? Можно пример?
EitherN.fold(func1, ..., funcN)
AN
EitherN.fold(func1, ..., funcN)
Зачем эта страшная штука?
AN
Почему нельзя на экстеншенах сделать?
QH
Зачем эта страшная штука?
Чтобы в месте использования суммы типов таки использовать её :)
AO
А зачем к ним обопщенные методы? Если мы в список напихали разных доменных типов то как и зачем с ними "обопщенно" работать? Можно пример?
Ну окей, допустим мы не хотим работать с исключениями в бизнес коде (это частая хотелка, так как эксепшен это всё таки что то системное). Нам для каждого метода придётся писать отдельные sealed для разных исходов. Потом нам надо выполнить подряд насколько разных действий, и тут мы приходим к тому что не можем наши разные sealed просто так компоновать
AL
Почему нельзя на экстеншенах сделать?
Можно конечно. Просто вопрос, что к каждой специфичной штуке придётся накидывать одни и те же экстеншны, получается.
AN
Чтобы в месте использования суммы типов таки использовать её :)
Возвращаемся к вопросу проектирования. Хочу пример
AO
Ну окей, допустим мы не хотим работать с исключениями в бизнес коде (это частая хотелка, так как эксепшен это всё таки что то системное). Нам для каждого метода придётся писать отдельные sealed для разных исходов. Потом нам надо выполнить подряд насколько разных действий, и тут мы приходим к тому что не можем наши разные sealed просто так компоновать
Но это не всё опять же не аргумент для тех кто пишет на эксепшенах
AN
Но это не всё опять же не аргумент для тех кто пишет на эксепшенах
Indeed, давайте не рассматривать кейс с возвратом управления.
AO
Indeed, давайте не рассматривать кейс с возвратом управления.
Ну здравствуйте, а давайте не рассматривать вообще ничего
VP
А зачем к ним обопщенные методы? Если мы в список напихали разных доменных типов то как и зачем с ними "обопщенно" работать? Можно пример?
Я не про разные типы в одном месте, а про методы, которые могут быть уместны для любого sealed класса, представляющего успешный результат или ошибку. Например подобие recover из Result.