Scala Language - Type System

Ziele

Scala ist eine Sprache mit einem sehr mächtigen statischen Typ-System. Dieses erleichtert das Auffinden von Fehlern während der Entwicklung (nicht erst zur Laufzeit des Programms). Außerdem erhöht es die Ausdruckskraft der Sprache und unterstützt die Entwicklung von DSL`s (Domain Specific Languages).

Am Ende des Seminars verstehen die Teilnehmer/innen das Scala Typ-System mit seinen reichhaltigen Facetten und Möglichkeiten und wissen, es in ihren Programmen sinnvoll zu nutzen.

Zielgruppe

Software-Entwickler/innen mit soliden Kenntnissen der Sprache Scala und der Scala-Standardbibliothek

Voraussetzungen

Kenntnis der Inhalte des Kurses "Scala Language - Basics II" oder gleichwertige Kenntnisse

Agenda

• Scala Type Hierarchy
• Value Types and Reference Types
• Upper Bounds and Lower Bounds
• Context Bounds
• Type Aliases
• Type Parameters
• Type Members
• Higher Kinded Types / Type Constructors
• kind-projector Plugin
• Variance
• Structural Types
• Singleton Types
• Literal Types
• Liskov Substitution Principle
• Sub Typing and Inheritence
• Type Classes