5.2 从运算式语言到函数式语言