Я должен сделать elementIsInList :: Eq a => a -> [a] -> Bool функция, которая должна вести себя так же, как elem функция вела бы себя нормально, но я не могу использовать рекурсию и, конечно, elem сама функция. Я думал о том, чтобы реализовать его с помощью filter функция, но я не могу понять, как filter работает. На правильном ли я пути?
elementIsInList x xs = filter(x==xs) xs
x == xs в этом нет особого смысла, x это элемент, который нужно искать, в то время как xs это весь список элементов. Вы можете использовать лямбда-выражение:
filter (\x -> x == y) xsили раздела оператора инфикса:
filter (x ==) xsКроме того, вам нужно проверить, пуст ли список. null :: Foldable f => f a -> Bool будет возвращать True если список пуст, и False если это не так. Затем вам нужно будет отменить результат с помощьюnot :: Bool -> Bool.