Daniel P. Friedman and Matthias Felleisen explaining how to get recursion without explicit state, in this chapter from their book The Little Schemer. Note that you will probably need to read this at least twice to understand what they're describing. This is some trippy stuff.