Blog: Metaprogramming

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.

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

In this article, we cover metaprogramming and macros in Elixir. Discover how you can use Elixir to write code that writes code.

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