Monadoc
The latest version of syntactic is 3.8.4-0.

syntactic

Version 1.0 revision 0 uploaded by EmilAxelsson.

Package meta

Synopsis
Generic abstract syntax, and utilities for embedded languages
Description

This library provides:

  • Generic representation and manipulation of abstract syntax

  • Composable AST representations (partly based on Data Types à la Carte [1])

  • A collection of common syntactic constructs, including variable binding constructs

  • Utilities for analyzing and transforming generic abstract syntax

  • 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)

For details, see the paper "A Generic Abstract Syntax Model for Embedded Languages" (ICFP 2012, http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf).

The maturity of this library varies between different modules. The core part (Language.Syntactic) is rather stable, but many of the other modules are in a much more experimental state.

\[1\] W. Swierstra. Data Types à la Carte. Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758.

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

Author
Emil Axelsson
Bug reports
n/a
Category
Language
Copyright
Copyright (c) 2011-2012, Emil Axelsson
Homepage
http://projects.haskell.org/syntactic/
Maintainer
emax@chalmers.se
Package URL
n/a
Stability
n/a

Components