Right, two questions, how do you do this infinite loops and how do you do side effects.

All it can do is take programs and return values.

I can see how this could be useful for configuration generation.

But for it to be a programming language you would have to make it produce "execution plant" to be executed on more classical virtual machine that can do system calls and decide what to do next depending on what it gets back.