[www
tom@zwizwa.be**20090526081148
 Ignore-this: b42e9d9aa605b9f2583d7bda2abdbaf0
] hunk ./www/index.html 11
-<p>
-  Staapl is a collection of tools for programming microcontrollers
+<p> Staapl is a collection of tools for programming microcontrollers
hunk ./www/index.html 15
-  programming languages.  While Staapl can be used as a Forth
-  compiler, the main focus of the project is on providing 
+  programming languages.  It acknowledges the similarities between the
+  two languages by bridging them at the metalanguage level: Scheme
+  functions and Forth macros (immediate words) are unified into a
+  functional <a href="http://en.wikipedia.org/wiki/Concatenative_programming_language">concatenative</a>
+  language that meshes well with Scheme's lexical name structure.
+
+<p> While Staapl can be used as a Forth compiler, the main focus of
+  the project is on providing
hunk ./www/index.html 27
+
+
hunk ./www/index.html 35
-  with phase separation</a>.  This makes it fit better in a functional
-  programming framework.
+  with phase separation</a>.
hunk ./www/index.html 37
-<p> Next to the concatenative + stack language building toolbox,
-Staapl includes a
+<p> Next to the stack language building toolbox, Staapl includes a
hunk ./www/index.html 39
-  Forth</a> syntax frontend that hides the Scheme metaprogramming
-  system, a backend code generator for the
+  Forth</a> syntax frontend (implemented as a PLT
+  Scheme <code>#lang</code>), an optimizing code generator for the
hunk ./www/index.html 43
-  for debugging and testing.
+  for debugging and testing built on top of target interaction code
+  written in Scheme.
hunk ./www/index.html 149
-<h2>Related Work</h2>
-
-Compared to MetaML, which seems to be the current reference point for
-staged programming systems, Staapl contains functionality related to
-MetaML combined with abstract interpretation.  However, Staapl is
-quite different as it is a non-homogenous two-stage system based on
-flat combinators and dynamic typing, while MetaML is a homogeneous
-multi-stage system based on the lambda calculus and static ML-style
-typing.
-
hunk ./www/index.html 150
-Mon Sep 22 14:27:15 CEST 2008
+Tue May 26 10:10:02 CEST 2009