1.1 定义与历史沿革 1.1 定义与历史沿革:函数式编程——一场关于“计算本质”的静默革命 倘若我们把计算机科学比作一座不断生长的巴别塔,那么每一种编程范式,便是塔身上一道独特的砌痕:命令式语言刻下的是人类对机器下达指令的铿锵节奏;面向对象语言则以封装、继承与多态为砖石,在现实世界的映射中构筑起层层嵌套的抽象堡垒;而函数式编程——它既不喧哗,亦不争锋,却在塔基最幽深的岩层里,悄然埋设了整座建筑赖以矗立的数学地基。它不是对其他范式的否定,而是对“何为计算”这一根本命题的一次持续百年的回溯与重申。 这不是一场由工程师发起的工具改良运动,而是一群逻辑学家、数学家与哲学家,在20世纪上半叶的战火与思潮激荡中,用符号、公理与递归所完成的一场思想远征。