‘λ演算’是什么 2023-12-15 350 λ演算(Lambda Calculus)是一种形式系统,用于研究函数定义、函数应用和递归的数学逻辑。由数学家阿隆佐·丘奇于20世纪30年代提出,λ演算对现代计算机科学尤其是编程语言理论产生了深远影响。 …