I wanted to note that some recursive functions can be made reasonably efficient through the use of memoization, which the Memoize module makes trivial to do.