Sun Aug 30 11:09:35 CEST 2009
PF: clear staging
Everything in the code points to and optimal organization where linear
/ inplace programming and pure functional programming are clearly
separated. Keeping both in the same VM might be useful for sharing a
memory model, and is _very_ useful as a user interface, but it
The lessen to learn: this _is_ a staged approach, so it can be
implemented in a way where the object language / machine is completely
independent from all reflection, and where code and other
graph-structured objects are constant.
The good news is that this is a very good fit for Staapl.
What needs to be done is to find a way to express this in a typed
setting. It is my hunch that the PF VM _itself_ might be better
expressed in a typed language, where linearity constraints can be
Essentially, a linear concatenative language is a _notation_ that
allows one to forgo linearity annotations, which seem to be necessary
in a applicative language with unstructured variable references.