オーバーラップ関数を書く

Question

2つのリストを入力し、これらの2つのリストに共通の要素が含まれているかどうかを知らせる多相関数を記述したいと思います。この関数を書くでの私の試みは、次のとおりです。

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

私はあなたが（未テスト）このような何かをしたいと思います：パターンマッチングappropachを使用して

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 

私の知る限りでは、より慣用的です。

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