Lambda 演算入门 λ x . x 等 价 于 f ( x ) = x 这 个 函 数 是 恒 等 函 数 x 是 约 束 变 量 λ x . y 等 价 于 f ( x ) = y 这 个 函 数 是 非 恒 等 函 数