ocaml логическое определение функции, которая содержит элемент, возвращающий истину, если так или иначе ложь

Question

Я не уверен, почему это вызывает у меня ошибку.Спасибо за любую помощь, спасибо!Вопрос в следующем: «Определить функцию, содержащую взятие элемента и списка и возвращающую true, если элемент находится в списке, и false в противном случае».

Мой ответ:

let contains elt l = 
    if l = l
      then true
    else
      false;;

Он говорит, что все верно, когда я проверяю его.

ОБНОВЛЕНИЕ:

Я думаю, что это ближе к ответу, но все еще не может заставить его работать.

    let rec contains elt l = 
      if 
        elt = l
        l = []
      then true
      else
      false;;

Answer 1

Правильный ответ:

    let contains elt l = 
      match l with
      [] -> false
      | y :: ys -> elt = y || contains elt ys
      ;;

Спасибо за помощь!

Answer 2

Давайте применим вашу функцию к 5, вот как компьютер будет уменьшать / оценивать ваш код:

 contains elt 5 => if 5 = 5 then true else false

очевидно, 5 всегда будет равно 5.Более того, переменная всегда будет равна самой себе.

Совет 1: вы не используете первый параметр

Совет 2: второй параметр представляет собой список элементов, в которых вы должны искать первый параметр

Совет 3: вам нужно использовать рекурсию и деконструировать второй параметр и сравнить каждый элемент списка с предоставленной переменной elt.