V
non-variable type argument is unchecked since it is eliminated by erasure
trait A
case object B extends A
case object C extends A
def logic(x: Seq[_ <: A]) = x match {
case Seq[B] => doB()
case Seq[C] => doC()
}
Size: a a a
2019 December 22
DZ
def logic[C <: A](x: Seq[C])
SD
DZ
trait A
case object B extends A
case object C extends A
def logic(x: Seq[_ <: A]) = x match {
case Seq[B] => doB()
case Seq[C] => doC()
}
Но метч не будет работать из-за type erasure
DZ
Кароч этот код плох всем
DZ
Какую проблему решаете?
V
книверсальный метод logic еоторый бы работал для люього A
DZ
Зачем метчите Seq?
V
хочу нруппировать А по типам
V
и обрабатывать группы А
DZ
Для этого нужен foldLeft
λ
книверсальный метод logic еоторый бы работал для люього A
Ну так и напиши там просто A
λ
Для этого нужен foldLeft
Не поможет из-за того же erasure
DZ
хочу нруппировать А по типам
Для этого поможет
V
метод принимает Сек А, но любую реализацию А
λ
А, ну да. Может быть
λ
Фолдом можно
V
но всегда одну и ту же внутри кадлого Сек А
V
метод типа роутер, отправляет этот сек бкз изменений в другой метод, в зависимости какой подтип А внутри этого сека
DZ
Через тайпклассы сделайте