标签： lambda-calculus turing-complete
Lambda演算当然是相当优雅的，但是在功能的输入和输出之间是否存在这种不对称并不困扰你？即你可以使函数采用两个参数（通过返回一个函数）但你不能让它返回两个值。 我认为我们无法在The Book找到它。
答案 0 :(得分：2)
您可以返回函数，其评估返回两个值。
答案 1 :(得分：0)
或者你可以返回一个复合结构。就像一个向量函数，它返回一个向量，其中包含单独的组件。
BTW您的标题问题与您提出的实际问题有什么关系？