Czy projekcje typów typów zależą od ścieżki?

Question

Teraz czytam Scalę. Oto fragment z książki:

Wszystkie typy zależne od ścieżki są projekcjami typu. Typ zależny od ścieżki foo.Bar został przepisany jako foo.type#Bar przez kompilator ...

W Scala wszystkie odwołania do typów można zapisywać jako projekty względem nazwanych elementów. Typ scala.String jest skrótem nazwy scala.type#String, gdzie nazwa scala odnosi się do pakietu scala, a typ String jest zdefiniowany przez klasę String w pakiecie scala.

Oczywiście, nie ma scala.String klasy, ale nie udało mi się odtworzyć ten z Null.

scala> type N = scala.type#Null 
<console>:7: error: type mismatch; 
found : type 
required: AnyRef 
     type N = scala.type#Null 

Moje pytania są następujące. Czy projekcje typów typów zależą od ścieżki? Czy jest to tylko wewnętrzna reprezentacja kompilatora, czy może być wyrażona w kodzie scala?

Answer 1

Oto krótka sesja REPL który potwierdza to, co Josh napisał

scala> class Foo { type T = String } 
defined class Foo 

scala> val foo = new Foo 
foo: Foo = Foo@10babe8 

scala> implicitly[foo.type#T =:= foo.T] 
res0: =:=[foo.T,foo.T] = <function1> 

Problem z przykładu scala.type#Null jest to, że przedrostek scala jest prefiksem pakiet zamiast być stabilne identyfikator wartości. Prawdopodobnie powinno być to drugie, ale niestety to nie jest ... to utrzymująca się niedopasowanie między semantyką pakietów Scala i obiektami Scala (w sensie modułów).