Template Haskell

Computer language extension

(Learn how and when to remove this message)

Template Haskell is an experimental language extension to the Haskell programming language implemented in the Glasgow Haskell Compiler (version 6 and later).^[1] In early incarnations it was also known as Template Meta-Haskell.

It allows compile-time metaprogramming and generative programming by means of manipulating abstract syntax trees and 'splicing' results back into a program. The abstract syntax is represented using ordinary Haskell data types and the manipulations are performed using ordinary Haskell functions.

'Quasi-quote' brackets [| and |] are used to get the abstract syntax tree for the enclosed expression and 'splice' brackets $( and ) are used to convert from abstract syntax tree into code.

As of GHC-6.10, Template Haskell provides support for user-defined quasi-quoters, which allows users to write parsers which can generate Haskell code from an arbitrary syntax. This syntax is also enforced at compile time. For example, using a custom quasi-quoter for regular expressions could look like this:

 digitsFollowedByLetters = [$re| \d+ \s+ |]

Example

A common idiom is to quasi-quote an expression, perform some transformation on the expression and splice the result back into the program. It could be written as:

 result = $( transform [| input |] )

References

^ Sheard, Tim; Jones, Simon Peyton (3 October 2002). "Template meta-programming for Haskell". Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. Association for Computing Machinery. pp. 1–16. doi:10.1145/581690.581691. ISBN 1581136056. S2CID 6096655.

External links

Template Haskell Wiki Page

Haskell programming

Software

Implementations
(features)

Generic Haskell°
Glasgow Haskell Compiler°
- Template Haskell°
Gofer° → Hugs°
Pugs°
York Haskell Compiler° (Yhc)

Dialects

Agda° Concurrent Haskell° Cryptol° Curry° Elm° Hume° Idris° Ωmega° Orwell° TidalCycles° Ur°
Electronic design	Atom° Bluespec SystemVerilog (BSV)