的名称，利用lambda抽象把这个变量绑定，并将该lambda抽象应用于预期的定义，来模拟命名常量的作法。因此在"N"（“主程序”的另一个lambda项）中，要以"f"来表示"M"（一些明确的lambda项），则写成如下：作者经常引入类似如let的语法糖，允许以更直观的次序撰写上述内容：通过等号链接这个命名常数，即可将lambda演算“编程”的一个lambda项，写为零或多个函数的定义，而使用构成程序主体的那些函数。这个let显着的限制，是在"M"中并没有定义"f"名称，因为"M"不在绑定"f"的l