摘要: ### 概述 #### 背景 函数式编程的理论基础是阿隆佐·丘奇(Alonzo Church)于 1930 年代提出的 λ 演算(Lambda Calculus)。λ 演算是一种形式系统,用于研究函数定义、函数应用和递归。它为计算理论和计算机科学的发展奠定了基础。随着 Haskell(1990年)和 阅读全文
posted @ 2023-04-02 15:44 肖卫卫讲编程 阅读(621) 评论(0) 推荐(2) 编辑