匿名函数、函数递归与二分法、面向过程