从 Partial Computations(部分计算) 到 Lambda Calculus(λ演算):函数的计算模型解析(中英双语)
从PartialComputations到LambdaCalculus:函数的计算模型解析今天在看BuildYourOwnLisp这本书的时候,遇到了部分计算和lambda演算的知识点,于是产生本文。在计算机科学和数学中,我们可以从不同角度理解“函数”(Function)的概念:在数学模型中,函数是一个完全的映射关系,它接受输入,并确定性地产生输出,例如:f(x)=x2f(x)=x^2f(x)=x