[stack] A Joy VM in OCaml

Hello list,

Something I'd like to share: a small interpreter for an (intensional)
Joy dialect, that has helped me to clarify some conversation about
implementation of concatenative languages.

http://zwizwa.be/darcs/libprim/pf/joy.ml

What I found remarkable is that the continuation of such an intensional
VM _really is just an intensional quotation_.

This is mostly to contrast the PF VM, an early-bound extensional Joy dialect
with linear core memory and nonlinear code memory.  I.e. it uses linear
lists for data, delimited continuations, and partial applications, and
nonlinear memory for the code graph.

I think I finally found a way to combine linearity and some form of
reflection by using a staged approach.

http://zwizwa.be/darcs/libprim/pf/pf.ml

Cheers,

Tom