@hackage syntactic2.0
Generic representation and manipulation of abstract syntax
Installation
Dependencies (9)
- base >=4 && <5
- constraints
- containers
- data-hash
- mtl >=2 && <3
- safe Show all…
Dependents (9)
@hackage/imperative-edsl, @hackage/co-feldspar, @hackage/acme-everything, @hackage/imperative-edsl-vhdl, @hackage/raw-feldspar, @hackage/feldspar-compiler, Show all…
The library provides a generic representation of type-indexed abstract syntax trees (or indexed data types in general). It also permits the definition of open syntax trees based on the technique in Data Types à la Carte [1].
For more information, see "A Generic Abstract Syntax Model for Embedded Languages" (ICFP 2012):
Paper: http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf
Slides: http://www.cse.chalmers.se/~emax/documents/axelsson2012generic-slides.pdf
Example EDSL can be found in the examples folder.
\[1\] W. Swierstra. Data Types à la Carte. Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758.