！！scala 【经典】一步一步推导！！高阶函数，类型推断