тип несовпадения ocaml против списка

Question

за эту подпись

val chooser: string list * string list -> string list

и эта реализация

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

Я получаю следующую ошибку:

Ошибка: ожидается, что у этого варианта выражения будет тип Конструктор :: не принадлежит блоку

Что я делаю не так?

Answer 1

Результат if ... then без else должен быть unit, потому что значение будет () (значение типа unit), когда выражение ложно.

Другими словами, вам нужна деталь else для вашего if, чтобы получить нужный тип. Каким должно быть значение, если сравнение ложно?

Answer 2

часть else явно не определена - поэтому, когда условие не определяется, остальная часть - это () (то есть единица измерения). Тип компилятора проверяет iH::(chooser iT List.tl trueList) как unit, чего не может быть:

 if cond
    then A
    else B

A и B имеют одинаковые типы.