scala_hacker

3 ms·

1. 1.▲
   by scala_hacker 16y ago

   They place upper and lower bounds on the type member.
2. 2.▲
   by scala_hacker 16y ago

   Consider the following program: trait X { trait A { type T >: Int <: Int } val x : A var n : x.T = 3 } trait Y extends X { trait B { type T >: String <: String } lazy val x : A with B = x
3. 3.▲
   by scala_hacker 16y ago

   It is interesting that he does not mention any plans to fix the several egregious type soundness holes in Scala's type system.