12.1 函数式编程和并发