Несоответствия типа с шаблоном

Question

У меня есть код, который работает отлично:

let rec calculate s l acc = 
    if length s = 0 then 
     acc 
    else 
     if first s = l then 
      calculate (rest s) l (acc+1) 
     else 
      calculate (rest s) (first s) acc 

Я хочу переписать его с помощью сопоставления с образцом:

let rec calculate s l acc = 
    function 
    | _, _, _ when length s = 0 -> acc 
    | _, _, _ when first s = l -> calculate (rest s) l (acc+1) 
    | _, _, _     -> calculate (rest s) (first s) acc 

Но последняя функция возвращает сообщение об ошибке:

| _, _, _ when first s = l -> calculate (rest s) l (acc+1) -----------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

/Пользователи/demas/tempor/stdin (512,36): ошибка FS0001: Несоответствие типов. Ожидающий 'a, но заданный ' b * 'c *' d -> 'a Получаемый тип будет бесконечным при объединении' 'a' и '' b * 'c *' d -> 'a'

Почему?

Answer 1

Ключевое слово function подразумевает, что последний (неявный) параметр функции calculate должен быть кортеж, содержащий 3 элемента, потому что вы соответствия на _, _, _ Вы можете переписать его как:

let rec calculate s l acc = 
    match s, l, acc with 
    | _, _, _ when length s = 0 -> acc 
    | _, _, _ when first s = l -> calculate (rest s) l (acc+1) 
    | _, _, _     -> calculate (rest s) (first s) acc 

Также вас мог бы сделать совпадение рисунков более ясным, переписывая его так:

let rec calculate s l acc = 
    match (length s), (first s = l) with 
    | 0, _ -> acc 
    | _, true -> calculate (rest s) l (acc+1) 
    | _, _ -> calculate (rest s) (first s) acc