Blog: Type Families

Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.

Learn about type families, one of the most powerful type-level programming features in Haskell.

In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.