在 lambda 演算中，“true”被定义为接受两个参数但返回第一个参数的函数： true = \x.\y.x 如果你在只给出一个论据后懒惰地评估它会发生什么？ (\x.\y.x a) ...