有没有办法使用标准 ML 中的 let 构造返回一对整数？

Question

我正在尝试使用 sml 中的 let 构造返回一对总和。我尝试过的每一种方法都只会返回一个值。我曾尝试使用 cons (::) 创建一个列表，然后返回该列表，但这也会产生错误。

val t = [(3,4), (4,5), (5,6)];
fun sumPairs(nil) = 0
| sumPairs((x,y)::zs) =
    let 
        val sumFirst = x + sumPairs(zs)
        val sumSecond = y + sumPairs(zs)
    in 
        (sumFirst, sumSecond) <how would I return this as a tuple or list?>

    end; 
sumPairs(t);

Answer 1

问题不在于(sumFirst, sumSecond) 或let，而在于您的其余代码。

基本情况和递归表明sumPairs 产生一个int，而不是一对ints。
因此，当您尝试生成一对时会发生冲突。

您的基本情况应该是(0,0)，而不是0，因为它必须是一对。

您还需要从递归中解构结果，因为这会产生一对，而不是整数。

这样

fun sumPairs nil = (0, 0)
  | sumPairs ((x,y)::zs) =
    let
        val (sumFirst, sumSecond) = sumPairs zs
    in 
        (x + sumFirst, y + sumSecond)
    end;