OCaml，为什么此类型是“列表列表”而不是“列表”

Question

let rec morse2 c s1 s2 = match s1 with
| [] -> []
| g::r when (caps c = g) -> List.hd(s2)
| g::r -> morse2 c r (List.tl(s2));;

val morse2 : char -> char list -> 'a list list -> 'a list = <fun>

嗨，

我的函数有一个char和两个列表，第一个是字符列表，第二个应该是字符串列表，但是由于某种原因，它只接受一个字符串列表。 该函数的作用基本上是检查第一个列表中的char是否匹配作为输入的给定char，如果是，则返回第二个列表中相同位置的元素，该元素应该是字符串而不是字符串列表。

caps c函数仅将char转换为caps c字母。

Answer 1

线| [] -> [] | [] -> []告诉编译器该函数返回一个列表，然后| g::r when (caps c = g) -> List.hd(s2) | g::r when (caps c = g) -> List.hd(s2)告诉编译器该函数可以返回List.hd(s2) 。 因此List.hd(s2)必须是列表，而s2必须是列表的列表。