23.4 函数式编程和文本推理