Table Of Content

Phase I: Basics

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