Sun Aug 25 12:27:40 EDT 2013

Salea Logic in Racket?

Maybe that's something to try out the design of the state machine
generator.  I.e. bootstrap it in Scheme macros first, then see what
can be done at the C language level.

An interesting avenue there is to make a translator to Staapl,
i.e. work on a way to do abstract state machine specification that
gets compiled down to fixed memory addresses.

There are two interesting problems:

- Folding code "inside out" at yield points.

- Optimizing data / state allocation.