OCaml类型不匹配错误（unit与list）：chooser函数问题排查

你的错误主要来自两个关键问题，咱们一个个拆解：

1. 递归调用时的参数传递错误 #

你定义的chooser函数接收的是一个元组（string list * string list），但在递归调用时，你写成了chooser iT List.tl trueList——这相当于传递了三个独立参数，而不是打包成元组的两个参数。OCaml会把这个调用解析成((chooser iT) List.tl) trueList，完全不符合函数的参数要求。

正确的写法应该是把第二个和第三个参数打包成元组：chooser (iT, List.tl trueList)。

2. 缺少if表达式的else分支 #

OCaml中的if是表达式（不是语句），它必须有对应的else分支，因为表达式必须返回一个确定类型的值。你的代码里只写了then分支返回string list，但没有else分支时，编译器会默认else返回unit类型（类似其他语言的void），这就导致类型不匹配——then返回string list，else返回unit，编译器无法统一类型，所以抛出了那个错误。

当List.hd trueList不等于"True"时，你应该跳过当前的iH，直接递归处理剩余的列表，所以else分支应该返回chooser (iT, List.tl trueList)。

修正后的完整代码 #

let rec chooser (inputList, trueList) =
    match inputList with
    | [] -> []
    | iH::iT ->
        if List.hd trueList = "True"
        then iH :: chooser (iT, List.tl trueList)
        else chooser (iT, List.tl trueList)

额外注意事项 #

这段代码假设inputList和trueList的长度是完全一致的——如果trueList比inputList短，List.hd会抛出异常；如果inputList比trueList短，最后会返回空列表（因为match到[]分支）。如果需要处理长度不一致的情况，可以在代码里增加判断，比如用多模式匹配同时处理两个列表，更安全也更简洁：

let rec chooser (inputList, trueList) =
    match inputList, trueList with
    | [], _ -> []
    | _, [] -> []
    | iH::iT, tH::tT ->
        if tH = "True"
        then iH :: chooser (iT, tT)
        else chooser (iT, tT)

内容的提问来源于stack exchange，提问作者Tosh