所以如果想要设计一个递归程式，就必须注意设定一个表达式判断（例如if语句）来告诉程序是否应该继续递归下去。
应用.在支援自唿叫的程式语言中，递回可以通过简单的函式唿叫来完成，如计算阶乘的程式在数学上可以定义为：这一程式在Scheme语言中可以写作：
不动点组合子.即使一个程式语言不支援自唿叫，如果在这语言中函式是第一类物件（即可以在执行期创建并作为变数处理），递回可以通过不动点组合子（）来产生。以下Scheme程式没有用到自唿叫，但是利用了一个叫做Z