紫书（第四章，函数与递归）