syntactic: Generic abstract syntax, and utilities for embedded languages

[ bsd3, language, library ] [ Propose Tags ]

This library provides:

For more information about the core functionality, see "A Generic Abstract Syntax Model for Embedded Languages" (ICFP 2012):

For a practical example of how to use the library, see the proof-of-concept implementation Feldspar EDSL in the examples directory. (The real Feldspar [2] is also implemented using Syntactic.)

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

Versions [faq] 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
Dependencies array, base (>=4 && <4.7), constraints, containers, data-hash, ghc-prim, mtl (==2.*), transformers (>=0.2), tuple (>=0.2) [details]
License BSD-3-Clause
Copyright Copyright (c) 2011-2012, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Category Language
Home page http://projects.haskell.org/syntactic/
Source repo head: darcs get http://projects.haskell.org/syntactic/
Uploaded by EmilAxelsson at Mon Jan 21 07:52:09 UTC 2013
Distributions NixOS:3.8.1
Downloads 17710 total (748 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees