Blog: Metaprogramming
.jpg)
.jpg)
Typed Template Haskell in GHC 9
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.
.jpg)
.jpg)
A Short Overview of Typed Template Haskell
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.


Introduction to Template Haskell
Get started with Template Haskell, a language extension for compile-time metaprogramming in Haskell.
.jpg)
.jpg)
Metaprogramming in Elixir
In this article, we cover metaprogramming and macros in Elixir. Discover how you can use Elixir to write code that writes code.
.jpg)
.jpg)
Compile-Time Evaluation in Haskell
In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.