Kapitel 16. Das Typensystem von Scala, Teil I
Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: translation-feedback@oreilly.com
Inzwischen weißt du schon eine ganze Menge über das Typsystem von Scala. In diesem und dem nächsten Kapitel werden einige Details ergänzt und fortgeschrittene Konstrukte vorgestellt.
Scala ist eine statisch typisierte Sprache. Ihr ausgeklügeltes Typensystem kombiniert FP und OOP. Das Typsystem versucht, logisch umfassend, vollständig und konsistent zu sein.
Im Idealfall ist ein Typsystem aussagekräftig genug, um zu verhindern, dass deine Anwendungen jemals einen ungültigen Zustand einnehmen. Es ermöglicht es dir, diese Einschränkungen zur Kompilierzeit zu erzwingen, sodass es nie zu Laufzeitfehlern kommt. In der Praxis sind wir von diesem Ziel noch weit entfernt, aber das Typsystem von Scala verschiebt die Grenzen des Möglichen.
Allerdings kann das Typensystem von Scala einschüchternd sein. Wenn Leute behaupten, Scala sei komplex, haben sie meist das Typensystem im Sinn.
Glücklicherweise verbirgt die Typinferenz viele der Details. Die Beherrschung der geheimnisvollen Aspekte des Typsystems ist nicht erforderlich, um Scala effektiv zu nutzen, obwohl du mit den meisten Konstrukten vertraut sein musst.
Beginnen wir damit, vertrautes Terrain wieder aufzugreifen: parametrisierte Typen.
Parametrisierte Typen
In "Parametrisierte Typen: Varianz unter Vererbung" haben wir die Varianz unter Subtypisierung untersucht. ...
Get Scala programmieren, 3. Auflage now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
