syntactic

Version 0.9 revision 0 uploaded 2012-05-15T10:47:34.000Z by EmilAxelsson.

Package meta

Synopsis

Generic abstract syntax, and utilities for embedded languages

Description

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 functional object languages, such as Feldspar. Currently, it does not support cyclic programs.

The following people have contributed to Syntactic:

• Anders Persson

\[1\] Data types à la carte, by Wouter Swierstra, in Journal of Functional Programming, 2008

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

Author

Emil Axelsson

Bug reports

n/a

Category

Language

Copyright

Copyright (c) 2011, Emil Axelsson

Homepage

http://projects.haskell.org/syntactic/

Maintainer

emax@chalmers.se

Package URL

n/a

Stability

n/a

Components

• lib:syntactic