A Short overview of typed template Haskell

Typed TH, as the name implies, allows us to provide stronger, static guarantees about the correctness of the meta-program. With untyped TH, the generated expressions would be type-checked when they are spliced.


0 out of 5 stars(0 ratings)

Leave a Reply

The internet is huge. Help us find great content!