Scala Language - Type System
Classroom training | German | Claim
Duration of training: 2 days
Objectives
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.
Target audience
Software-Entwickler/innen mit soliden Kenntnissen der Sprache Scala und der Scala-Standardbibliothek
Requirements
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
Objectives
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.
Target audience
Software-Entwickler/innen mit soliden Kenntnissen der Sprache Scala und der Scala-Standardbibliothek
Requirements
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