@hackage syntactic0.3
Generic abstract syntax, and utilities for embedded languages
Installation
Dependencies (6)
Dependents (9)
@hackage/imperative-edsl, @hackage/co-feldspar, @hackage/acme-everything, @hackage/imperative-edsl-vhdl, @hackage/raw-feldspar, @hackage/feldspar-compiler, Show all…
This library provides:
Generic representation and manipulation of abstract syntax using a practical encoding of open data types (based on Data Types à la Carte [1])
Utilities for analyzing and transforming generic syntax
General variable binding constructs
Utilities for building extensible embedded languages based on generic syntax
A small proof-of-concept implementation of the embedded language Feldspar [2] (see the
Examplesdirectory)
Note: The library is probably mostly useful for data-flow languages, such as Feldspar. Currently, it does not support cyclic programs.
\[1\] Data types à la carte, by Wouter Swierstra, in Journal of Functional Programming, 2008