AS
Ну тут просто, хочется иметь нормальный for и не хочется идти в тф
мы и так, и так пробовали и не всегда однозначно, часто Either только создает лишние проблемы, тайп инференс портится. Но иногда наоборот EitherT и вперед
Size: a a a
2020 September 25
Oℕ
Я хочу типизированную ошибку плюс рантайм ошибку
ясно
Oℕ
Я хочу типизированную ошибку плюс рантайм ошибку
ну вы же понимаете, что чтобы писать нормальный фор с двухместным типом, у вас ошибки у всех операций в форе должны быть сопоставимы
λƒ
Олег, зачем тебе Цой на аватарке? Очень непривычно.
AT
А я ему говорил
Oℕ
иначе вы получите какой-то ZIO[Clock, Serializeable, X] в результате
A
ну вы же понимаете, что чтобы писать нормальный фор с двухместным типом, у вас ошибки у всех операций в форе должны быть сопоставимы
Конечно.
λ
по-моему даже юнион тайпы просто так не спасут, т.к. их надо явно аскриптить как юнионы, иначе ЛУБ выводиться будет
Oℕ
ммм
Oℕ
вроде норм будет
Oℕ
надо попробовать
λ
ну так в доке написано
λ
надо попробовать
попробовал
λ
в зио придется тайппараметры писать чтобы юнионы результатах появлялись
Y
в slickе можно както абстрагироваться над их имплиситами, всякие
CanBeQueryCondition/BaseColumnExtensionMethods/DriverJdbcType с которыми ничего не сделаешьΛВ
???
ну щас есть обычные функции и какие-то другие функции, которые экстешны. А хочется только одни функции
Oℕ
попробовал
подтверждаю
λ
Рип
