函数式编程
二分查找法