Eu tenho que fazer o elementIsInList :: Eq a => a -> [a] -> Bool função que deve se comportar da mesma maneira que o elem função de comportar-se-ia, mas eu não posso usar a recursividade e, claro, o elem função em si mesma. Eu pensei sobre como implementar isso usando o filter função, mas eu não consigo descobrir como filter de obras. Estou no caminho certo?
elementIsInList x xs = filter(x==xs) xs
x == xs não faz muito sentido, x é um elemento a procurar, considerando que xs é a lista completa de elementos. Você pode fazer uso de uma expressão lambda:
filter (\x -> x == y) xsou de um operador infixo seção:
filter (x ==) xsAlém disso, você precisa verificar se a lista está vazia. null :: Foldable f => f a -> Bool vai voltar True se a lista é vazia, e False se ele não é. Em seguida, terá de anular o resultado com not :: Bool -> Bool.