Функция наложения перекрытий

Question

Я хочу написать полиморфную функцию, которая вводит два списка и сообщает мне, содержат ли эти два списка общий элемент. Моя попытка написания этой функции выглядит следующим образом:

overlaps :: (Eq a) => [a] -> [a] -> Bool 
overlaps x:xs y:ys 
    | x `is_element_of` ys = True 
    | otherwise = False 

где

is_element_of :: (Eq a) => a -> [a] -> Bool 
is_element_of e list = case list of 
[] -> False 
x: xs -> e == x || e `is_element_of` xs 

Однако это не работает ... Можно ли шаблон матч против двух списков? Является ли это возможным способом написания этой функции?

Answer 1

Я думаю, что вы хотите что-то вроде этого (непроверенные):

overlaps :: (Eq a) => [a] -> [a] -> Bool 
overlaps [] _  = False 
overlaps _ []  = False 
overlaps (x:xs) list = x `myelem` list || overlaps xs list 

myelem :: (Eq a) => a -> [a] -> Bool 
myelem _ []  = False 
myelem x (y:ys) = x == y || myelem x ys 

AFAIK, используя шаблон, соответствующий appropach более идиоматических.

Answer 2

Ваша функция is_elem_of уже существует в пакете Data.List как elem. Используя это, overlaps легко писать.

overlaps []  _ = False 
overlaps (x:xs) ys = x `elem` ys || overlaps xs ys 

Как вы можете сказать, можно сопоставить образец по спискам. Если вы хотите написать функцию без сопоставление образцов по спискам, вы можете использовать функцию foldr.

overlaps xs ys = foldr (\x acc -> x `elem` ys || acc) False xs