Permalink
Browse files

Merge tree- and term-rewriting, and give some commentary on it.

  • Loading branch information...
1 parent df4a10a commit a82951bfdf56de3258930a557c161aa871136637 @cpressey cpressey committed Mar 22, 2013
Showing with 10 additions and 3 deletions.
  1. +1 −1 data/original-languages.yaml
  2. +9 −2 data/paradigms.yaml
@@ -3122,7 +3122,7 @@ Treacle:
type: Programming Language
genre: Experimental language
paradigms:
- - Tree-rewriting
+ - Term-rewriting
description: |
Treacle is an experimental compiler-definition language based on
_context rewriting_, an expressive variant of term rewriting that generalizes
View
@@ -143,9 +143,16 @@ State machine:
type: Programming Paradigm
String-rewriting:
type: Programming Paradigm
-Tree-rewriting:
- type: Programming Paradigm
Term-rewriting:
type: Programming Paradigm
+ description: |
+ Also known as Tree-rewriting, especially when the tree-like nature
+ of the terms being rewritten is more salient.
+ commentary: |
+ Term rewriting is perfect for when, instead of an error message, you
+ want to see a half-reduced version of your original program when it
+ breaks.
+
Turning tarpit:
type: Programming Paradigm
+ esowiki: Turning tarpit

0 comments on commit a82951b

Please sign in to comment.