The Arboretuum Programming Language
March 2008, Chris Pressey, Cat's Eye Technologies.
Arboretuum is a language based on an experimental variant of tree-rewriting which we call forest-rewriting. Appropriate to its name, during forest-rewriting, multiple trees (specifically, a finite set) are rewritten. Each tree is labelled with a name; a rewriting pattern can refer to multiple trees, and must match all of them simultaneously in order for a replacement to occur.
As an experiment, Arboretuum was not entirely a success. Forest-rewriting unfortunately turned out to be insufficient for what I wanted to apply it to, namely compiler specification. The idea was to have each tree associated with some data structure used in the compilation process (AST, symbol table, output buffer, etc.) However, it became apparent that, by itself, forest-rewriting could not synchronize the data across the trees the way it would need to be synchronized in a real compiler. I plan to tackle the problem again, with a different variation on rewriting, in a future project.
Regardless, Arboretuum is Turing-complete, as tree-rewriting is simply a special case of forest-rewriting: just have one tree in the forest.
I will refer you to the reference implementation of Arboretuum for details on the semantics of the language. Ordinarily I frown upon this sort of practice — normatively defining a language by an implementation rather than by a specification — but the interests of brevity, the experimental tack of the project, the unsuccessful outcome of the experiment, and the relative well-definedness of the implementation language (the purely functional subset of R5RS Scheme) conspire to make the consequences of this choice less painful than usual.
The reference implementation comprises the following files:
Pre-processes the input program into an internal format suitable for forest-rewriting.
Implementation of the unification algorithm which is used to match the pattern part of rewriting rules to the forest.
Implements the forest-rewriting process proper.
Miscellanous support procedures, including
vector-store(a side-effect-free alternative to
In addition, the following supplementary files which are not definitive w.r.t. the Arboretuum language are included in the project:
Gives a set of unit tests to confirm the absence of certain erroneous behaviours. (Obviously, no number of unit tests could confirm the absence of errors...)
Some basic tree-rewriting code, to provide contrast between it's complexity and that of forest rewriting.
Note that the Scheme implementation of algorithms in the above files are to be taken as pedantic rather than efficient. They are meant to be read (perhaps even enjoyed?) and only incidentally to be executed.
This project was begun in January 2006. I'd been meaning to release it for a while before actually doing so in March of 2008.
Cat's Eye Technologies
March 4, 2008
Chicago, Illinois, USA
git clone https://git.catseye.tc/Arboretuum/
- Added tag rel_1_0_2014_0819 for changeset c0156e33f293 Chris Pressey 7 years ago
- Add test driver. Cat's Eye Technologies 7 years ago
- Place in public domain. Convert CRLF -> LF in README. catseye 8 years ago
- Convert documentation to Markdown. Cat's Eye Technologies 9 years ago
- Added tag rel_1_0_2011_1214 for changeset c306a814bb48 Cat's Eye Technologies 9 years ago
- Import revision 2011.1214 (just XHTML fixes.) Cat's Eye Technologies 9 years ago
- Import revision 2010.1105 (just a Scheme symbol fix.) Cat's Eye Technologies 9 years ago
- Import revision 2010.0427 (just XHTML fixes.) Cat's Eye Technologies 9 years ago
- Added tag rel_1_0_2008_0304 for changeset 5e36f094cdb6 Cat's Eye Technologies 9 years ago
- Initial import of Arboretuum version 1.0 revision 2008.0304 sources. Cat's Eye Technologies 9 years ago