Scala'nın yola bağlı türleri ile kastedilen nedir?

Scala'nın yola bağlı türleri olduğunu duydum. Bu iç sınıflarla ilgili bir şey ama bu gerçekte ne anlama geliyor ve neden umursuyorum?

En sevdiğim örnek:

case class Board(length: Int, height: Int) {
  case class Coordinate(x: Int, y: Int) { 
    require(0 <= x && x < length && 0 <= y && y < height) 
  }
  val occupied = scala.collection.mutable.Set[Coordinate]()
}

val b1 = Board(20, 20)
val b2 = Board(30, 30)
val c1 = b1.Coordinate(15, 15)
val c2 = b2.Coordinate(25, 25)
b1.occupied += c1
b2.occupied += c2
// Next line doesn't compile
b1.occupied += c2

Dolayısıyla, türü , somutlaştırıldığı Coordinateörneğe bağlıdır Board. Bununla başarılabilecek her tür şey vardır, değerlere bağlı olan ve tek başına türlere bağlı olmayan bir tür güvenlik sağlar.

Bu bağımlı tipler gibi gelebilir, ancak daha sınırlıdır. Örneğin, türü occupieddeğerine bağlıdır Board. Tipi nedeniyle Yukarıda, son satırı değil çalışır c2olduğunu b2.Coordinateederken, occupied'ın türüdür Set[b1.Coordinate]. Birinin aynı türde başka bir tanımlayıcı kullanabileceğine dikkat edin b1, bu nedenle türle b1 ilişkili tanımlayıcı değildir . Örneğin, aşağıdaki çalışır:

val b3: b1.type = b1
val c3 = b3.Coordinate(10, 10)
b1.occupied += c3