Table Of Content

Phase I: Basics

• Chapter 1: What are the types?

• Chapter 2: Types Vs Classes and Subtyping Vs Inheritance

• Chapter 3: Type Disciplines

• Chapter 4: Type Inference

• Chapter 5: Scala Types Hierarchy

• Chapter 6: Parameterized Types

• Chapter 7: Type Erasure

• Chapter 8: Type Classes and Ad-hoc Polymorphism

• Chapter 9: Type Constraints

• Chapter 10: Variance

Phase II: Advance

• Chapter 11: What are Kinds in Scala?

• Chapter 12: Higher Kinded Types

• Chapter 13: Existential Types

• Chapter 14: F-Bounded Polymorphsim

• Chapter 15: Self Type Annotation.

• Chapter 16: Type Abstraction

• Chapter 17: Path Dependent Type

• Chapter 18: Structural Type

• Chapter 19: Partial Unification

• Chapter 20: Type Lambda