> No dynamic memory allocation = no garbage collector, no non-deterministic allocation/deallocation, no write barriers, no out-of-memory possibilities, no fragm

> No dynamic memory allocation = no garbage collector, no non-deterministic allocation/deallocation, no write barriers, no out-of-memory possibilities, no fragmentation. For a surprisingly large class of programs, this is a great situation! I know you know this already, but your statement is a little too broad. Those problems all still exist, but are greatly reduced. Data structures still need to be compacted, caches evicted, scratch space cleared, etc. It is just that one class of intractable issues gets removed when dynamic memory allocation goes away. On a side note, have you seen this? https://github.com/udem-dlteam/ribbit https://github.com/udem-dlteam/ribbit https://www.youtube.com/watch?v=A3r0cYRwrSs https://www.youtube.com/watch?v=A3r0cYRwrSs an extremely compact VM for a version of R4RS.