元组列表上的模式匹配答案

【问题标题】：Pattern match on a list of tuples元组列表上的模式匹配
【发布时间】：2016-10-21 13:18:06
【问题描述】：

如果我想添加元组列表的所有元素，我会收到以下错误

let rec addTupLst (xs: 'a * 'a list) =
    match xs with
    | (a, b) :: rst -> a + b + (addTupLst rst)
    | _ -> 0

addTupLst [(1, 2)]

我收到警告

错误 FS0001：此表达式应具有类型
'a * '一个列表
但这里有类型
'b 列表

不能以这种方式对元组列表进行模式匹配，还是有其他错误？

【问题讨论】：

【解决方案1】：

你只是忘记了一对括号

let rec addTupLst (xs: ('a * 'a) list) =
     match xs with
     | (a, b) :: rst -> a + b + (addTupLst rst)
     | _ -> 0

addTupLst [(1, 2)]

【讨论】：

【解决方案2】：

问题是你声明函数使用'a * 'a list，但你真正想写的是('a * 'a) list。

这就是为什么我不太喜欢常见但 (IMO) 不一致的风格，即对某些内置类型的类型参数使用前缀表示法，而对其余类型使用后缀表示法，这是原因之一。我更喜欢将类型写成list<'a * 'a>。

【讨论】：