带字符列表的OCaml对int

Question

我正在使用原型remaining thelist需要val remaining : char list -> int * char list = <fun>签名val remaining : char list -> int * char list = <fun>的函数val remaining : char list -> int * char list = <fun> remaining thelist val remaining : char list -> int * char list = <fun> 。 我是Ocaml的新手，我不明白如何使Ocaml函数仅接受一个列表，并同时输出一个int和一个列表。 这是我目前正在使用的代码。

let rec remaining thelist= match thelist with
  | [] -> []
  | [x] -> [x]
  | x::y::t1 ->
      if x='a' then remaining (y::t1)
      else thelist;;

match thelist with
  | [] -> 0
  | x::t1 -> 
    if x='a' then 1+remaining t1
    else 0;;

如果您注释掉第二个块，则第一个代码块将输出正确的字符列表。 如果您注释掉第一个块，则第二个块将输出正确的int。 我不知道如何组合代码以实现所需的签名而不会出现某种兼容性错误。

Answer 1

您可以使用产品类型（实际上，您的签名会建议您这样做）和“隐藏”本地功能

let remaining =
     let rec f i = function
       | 'a'::l -> f (i+1) l
       | l -> i, l
     in
     f 0