此表达式具有类型 'a 列表选项，但预期的表达式类型为 'b 列表

Question

我正在 OCaml 中编写一个函数，它使用 type 选项和 List.fold_right 返回列表中最长的列表。

let longest (lst : 'a list list) : 'a list option = 
  List.fold_right (fun (i : 'a list)  (y : 'a list option) -> if List.length i > List.length y then (Some i) y else y) lst None 

但是我不断收到以下错误。

This expression has type 'a list option
but an expression was expected of type 'b list

该函数应返回Some，后跟最长列表，如果为空，则返回None。

Answer 1

让我们让它更容易理解。

let longest (lst : 'a list list) (x : 'a list option) = 
  List.fold_right 
    (fun (i : 'a list)  (y : 'a list option) -> 
       if List.length i > List.length y then (Some i) y 
       else y) 
    lst 
    None 

此投诉的具体问题与：

List.length y

在这种情况下，y 应该是 'a list option 类型，但 List.length 需要 'a list 类型的值。

您需要在传递给List.fold_right 的函数中进行一些模式匹配，以确定初始化值（在您的代码中容易混淆地表示为y）是None 还是Some ...，然后进行相应处理.

它可能如下所示。请注意，您使用的类型注释是无关的，因为 OCaml 会推断类型。

let longest lst =
  List.(
    let f x i =
      match i with 
      | None                                  -> ...
      | Some lst' when length x > length lst' -> ...
      | _                                     -> ...
    in
    fold_right f lst None
  )

Answer 2

将 [] 作为特殊情况处理，删除未使用的 x 参数并减少每个列表调用 List.length 的次数我得到这个：

let longest lst =
  match lst with   
   | [] -> None   
   | x :: xs -> 
      Some (fst (List.fold_right
        (fun i ((y, ly) as p) ->
          let li = List.length i
          in
            if li > ly
            then (i, li)
            else p)
        xs
        (x, List.length x)));;

val longest : 'a list list -> 'a list option = <fun>
# longest [];;
- : 'a list option = None
# longest [[1]; [1;2;3]; [1;2]];;
- : int list option = Some [1; 2; 3]