Programmieren mit Scala

Existenzielle Typen

Existenzielle Typen bieten die Möglichkeit der Abstraktion über Typen. Damit können Sie »quittieren«, dass es einen betreffenden Typ gibt, ohne dass Sie genau angeben müssen, was er ist. Der Grund dafür ist normalerweise, dass Sie nicht wissen, was er ist, und dieses Wissen im aktuellen Zusammenhang auch nicht benötigen.

Insbesondere sind existenzielle Typen nützlich bei der Kommunikation mit dem Typsystem von Java, und zwar aus drei Gründen:

• Die Typparameter der Generics sind auf der Bytecode-Ebene aufgrund der Type-Erasure nicht mehr vorhanden. Wenn beispielsweise eine List[Int] erzeugt wird, ist der Typ Int im Bytecode nicht mehr verfügbar.

• Ihnen können auch »rohe« Typen begegnen, zum Beispiel aus Prä-Java 5-Bibliotheken, ...