サブタイプを含むリストを参照し、そのリストから要素を取得して暗黙的にキャストできるようにしたいと考えています。例は次のとおりです。
scala> sealed trait Person { def id: String }
defined trait Person
scala> case class Employee(id: String, name: String) extends Person
defined class Employee
scala> case class Student(id: String, name: String, age: Int) extends Person
defined class Student
scala> val x: List[Person] = List(Employee("1", "Jon"), Student("2", "Jack", 23))
x: List[Person] = List(Employee(1,Jon), Student(2,Jack,23))
scala> x(0).name
<console>:14: error: value name is not a member of Person
x(0).name
^
私はそれを知ってx(0).asInstanceOf[Employee].name
いますが、型を使ったよりエレガントな方法があることを望んでいました。前もって感謝します。