> It looks like Dominikus's expand-time rewriting stack-lang kernel only > works at expand-time, which doesn't fit with my goals. I already had > some other ideas for using macros to inline the core operators, which > I'll explore now...
That was the point of my "exercise": to have an implementation that runs at macro-expand-time (m-e-t) only. You can also go for a mixed approach and have a run-time kernel (also for interoperating with R6RS) but benefit from rewriting optimizations at m-e-t. Meaning that defining new words (typically program stack transformations) would result in the creation of rewriting macros. This might fit more your goals but still ensure high-speed execution. Cheers, Dominikus
