函数式编程
硬盘二分查找法