Programmieren mit Scala

Pfadabhängige Typen

Wenn eine Sprache erlaubt, Typen zu verschachteln, bietet sie auch Möglichkeiten, die daraus resultierenden Typpfade zu referenzieren. Man sollte sie im Prinzip verstanden haben, auch wenn sie in der Praxis eher selten verwendet werden, zumal die Fehlermeldungen des Compilers häufigt Typpfade enthalten.

Betrachten Sie das folgende Beispiel:

// code-examples/TypeSystem/typepaths/type-path-wont-compile.scala
// FEHLER: Nicht kompilierbar

trait Service {
  trait Logger {
    def log(message: String): Unit
  }
  val logger: Logger
  
  def run = {
    logger.log("Starte " + getClass.getSimpleName + ":")
    doRun
  }
  
  protected def doRun: Boolean
}

object MyService1 extends Service {
  class MyService1Logger extends Logger {
    def log(message: String) = println ...