Що мається на увазі під типом Scala, що залежить від шляху?

Я чув, що Scala має типи, що залежать від шляху. Це щось спільне з внутрішніми класами, але що це насправді означає і чому мене це хвилює?

Мій улюблений приклад:

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

Отже, тип Coordinateзалежить від екземпляра, Boardз якого він був створений. Є всілякі речі, які можна досягти завдяки цьому, надаючи певну безпеку типу, яка залежить від значень, а не типів.

Це може здатися залежним типом, але воно більш обмежене. Наприклад, тип occupiedзалежить від значення Board. Вище, останній рядок не працює, тому що тип c2є b2.Coordinate, а occupiedтип 'є Set[b1.Coordinate]. Зауважте, що можна використовувати інший ідентифікатор з тим самим типом b1, тому не той ідентифікатор b1 асоціюється з типом. Наприклад, такі роботи:

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