Wed Jun 12 16:53:54 EDT 2013

Merging ideas: Staapl and RAI

Both have an element of bottom-up design, but for RAI, the bottom is a
small, well-defined language, while for Staapl, bottom is the machine

Making this work for Staapl was one of the goals, but has not been
reached yet.

I wonder where the middle ground is here: design a machine abstraction
close enough to the real machine to allow for hand-tuned allocation,
and high level enough to have a decent semantics.

Another thing is to properly gauge the importance of resource
efficiency vs. safety/correctness.  If resource efficiency is not a
main driver, code gen might be a better option.