Workshop on Scala Type System
Schedule
| Module | Slides | Video |
|---|---|---|
| I | Slides | Videos |
| II | Slides | Videos |
Module I
- What are the Types?
- Types in Scala
- Custom Types
- Parameterized Types
- Variance
- Sub-Typing
- Types of Variance
- Function Variance
Module II
- Type Bounds
- Least Upper Bound
- Greatest Lower Bound
- Lower Upper Bound Mixin
- Context Bounds
- Abstract Types
- Path Dependent
- Type Projection
- F-Bounded Types