There's a difference between general recursion and bounded recursion, and you can very easily constrain recursive functions to terminate, especially if you're i

There's a difference between general recursion and bounded recursion, and you can very easily constrain recursive functions to terminate, especially if you're in control of the data they must pass around.