Blog: Template Haskell

In the third post of our Template Haskell series, we look at the changes made to typed Template Haskell in GHC 9 and show how to use th-compat to write TTH code that will work with both GHC 8 and GHC 9.

Extend your Template Haskell knowledge by learning about typed Template Haskell, a part of TH that lets you provide stronger, static guarantees about the correctness of your meta-programs.

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

Get started with Template Haskell, a language extension for compile-time metaprogramming in Haskell.

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