础，在此背景下开发的；有效地利用lambda演算作为基底。因为几个编程语言部份含括了lambda演算（或者非常相似的东西），所以这些技术也可以在实际的编程中见到，但有可能被认为是模煳或外来的。
命名常数.在lambda演算中，函式库将採用预先定义好的函数集合，其中lambda项仅仅是特定的常量。纯粹的lambda演算法并不具有命名常数的概念，因为所有的原子λ项都是变量；但是在程序主体中，我们可将一个变量当成常量的名称，利用lambda抽象把这个变量绑定，并将该lambda抽象应用于