AD
По типу бидурки
Size: a a a
2020 September 25
Oℕ
When inferring the result type of a definition (val, var, or def) and the type we are about to infer is a union type, then we replace it by its join.
почему норм сработало в случае двух флатмапов тут https://t.me/scala_ru/290427
Oℕ
Можно сделать тайпоператор который сам мерджит ошибки
так там же явно написан тип результирующий
Oℕ
он просто видя X | Y |X коллапсит
Oℕ
вместо X | Y к Any
AD
но ты можешь написать реализацию которая выпливает дубликаты?
Oℕ
я ничё не понял, напиши
AD
ну есть матчтайп
Oℕ
код напиши
AD
Там есть рекурсия по типам
Oℕ
код
Oℕ
напиши
AD
окей
AD
Сейчас попробую
AS
но ты можешь написать реализацию которая выпливает дубликаты?
Зачем?
AS
Они и так выпиливаются.
N
Всем привет. Как лучше обрабатывать ошибки в http4s? Сейчас у меня примерно такая реализация https://scastie.scala-lang.org/Pym6JjE7STmxcPgVkk4z2w . Подскажите, это адекватно или лучше что-то поправить?
AD
Эх матчтайпы не позволяют вводить нвые типы прямо в матчинге
AD
У меня на них были большие надежды но они чет как то совсем ниочень