The Treacle Programming Language

Designed and implemented by Chris Pressey

Description

Treacle is an experimental compiler-definition language based on context rewriting, an expressive variant of term rewriting that generalizes the forest-rewriting used by Treacle's predecessor, Arboretuum. In context rewriting, a separation is made between names and variables, and patterns may contain holes inside which subpatterns may match at any depth.

Documentation

• The Treacle Programming Language

Browse

See also

• The Arboretuum Programming Language

---

Copyright ©2010 Cat's Eye Technologies.
All rights reserved.