Template Haskell
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
- v
- t
- e
Implementations (features) |
| ||||||||
---|---|---|---|---|---|---|---|---|---|
Libraries |
| ||||||||
Package managers |
| ||||||||
Windowing systems | |||||||||
Web frameworks |
| ||||||||
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4d/Logo_of_the_Haskell_programming_language.svg/100px-Logo_of_the_Haskell_programming_language.svg.png)
Eponym |
---|
- Arvind
- Lennart Augustsson
- Richard Bird
- Jeremy Gibbons
- Andrew D. Gordon
- Paul Hudak
- John Hughes
- John Launchbury
- John MacFarlane
- Simon Marlow
- Conor McBride
- Erik Meijer
- Simon Peyton Jones
- David Roundy
- Joe Stoy
- Audrey Tang
- Simon Thompson
- Philip Wadler
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/89/Symbol_book_class2.svg/16px-Symbol_book_class2.svg.png)
![](http://upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png)
![](http://upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png)