шаблон матч в списке кортежей

Question

Если я хочу, чтобы добавить все элементы списка кортежей, я получаю сообщение об ошибке со следующей

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

addTupLst [(1, 2)] 

Я получаю предупреждение

ошибка FS0001 : Это выражение, как ожидается, иметь тип
«а *» список
, но здесь имеет тип
«список б

Невозможно совпадение с шаблоном в списке кортежей таким образом, или есть еще одна ошибка?

Answer 1

Вы просто забыли пару скобок

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

addTupLst [(1, 2)] 

Answer 2

Проблема заключается в том, что вы объявляете функцию как взятие 'a * 'a list, но то, что вы на самом деле хотите, чтобы написать это ('a * 'a) list.

Это одна из причин, почему мне не очень нравится обычный, но (ИМО) непоследовательный стиль использования префиксной нотации для параметров типа для некоторых встроенных типов и постфиксной нотации для остальных. Я предпочитаю писать тип как list<'a * 'a>.