syntactic: Generic abstract syntax, and utilities for embedded languages

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 Examples directory)

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

\[2\] http://hackage.haskell.org/package/feldspar-language

Modules

[Index]

Downloads

• syntactic-0.3.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• AndersPersson, EmilAxelsson

For package maintainers and hackage trustees

• edit package information

Candidates

• 3.7, 3.7.1, 3.8, 3.8.1