(原)函数式编程 核心概念 函数式一等公民(输入输出啥的都可以是函数): 纯函数,固定输入带来固定输出: 阅读性良好,无并发问题,但效率偏低: 大历史背景 旨在描述问题如何计算: 有两位巨擘对问题的可计算性做了模型化描述 一位是阿兰.图灵(Alan Turing),他提出的图灵机. 另外一个位巨擘,是阿隆佐·邱奇(Alonzo Church).他提出了Lambda演算(Lambda Calculus)的概念 计算则指数学意义上的计算,越是抽象的计算,离计算机硬件越远. 对应到编程语言,就是越低级…