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
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.