syntactic: Generic abstract syntax, and utilities for embedded languages

[ bsd3, language, library ] [ Propose Tags ]

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 a la carte, by Wouter Swierstra, in Journal of Functional Programming, 2008

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.2, 0.2.0.1, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0, 1.0.1, 1.2, 1.2.1, 1.3, 1.4, 1.5.1, 1.5.2, 1.6.1, 1.7.1, 1.8, 1.9, 1.10, 1.11, 1.12.1, 1.13, 1.14, 1.15, 1.15.1, 1.16, 1.16.1, 1.16.2, 1.17, 2.0, 2.1, 3.0, 3.1, 3.2, 3.2.1, 3.3, 3.4, 3.5, 3.6, 3.6.1, 3.6.2, 3.6.3, 3.7, 3.7.1, 3.8, 3.8.1, 3.8.2, 3.8.3, 3.8.4
Dependencies array, base (>=4 && <4.4), containers, data-hash, mtl (>=1.1 && <3), tuple (>=0.2) [details]
License BSD-3-Clause
Copyright Copyright (c) 2011, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Category Language
Home page http://projects.haskell.org/syntactic/
Source repo head: darcs get http://code.haskell.org/syntactic/
Uploaded by EmilAxelsson at 2011-05-11T12:51:44Z
Distributions
Reverse Dependencies 9 direct, 2 indirect [details]
Downloads 36563 total (120 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]