TypeSafe Journey Using Scala
  • Table Of Content
  • About This Book
  • Copyleft Notice
  • Thanks
  • My Journey
  • Introduction
  • 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
      • Non-Variance
      • Co-Variance
      • Contra-Varaince
      • Conclusion
  • Phase II: Advance
    • Chapter 11: What are Kinds in Scala?
    • Chapter 12: Higher Kinded Types
Powered by GitBook
On this page

Phase II: Advance

PreviousConclusionNextChapter 11: What are Kinds in Scala?

Last updated 4 years ago

  • 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

Chapter 11: What are Kinds in Scala?
Chapter 12: Higher Kinded Types