比较两个列表，并返回在两个列表的第一个元素

Question

element1 :: [a] -> [a] -> [a] 
    element1 [] [] = [] 
    element1 [] _ = [] 
    element1 _ [] = [] 

    element1 (h1:t1) (h2:t2) = if 

我被卡住，不知道如何从这里出发，我要检查两个列表，并返回这是两个列表中的第一个元素

Answer 1

目前还不清楚，如果他们应该在相同的位置或什么。假设是：

f = ((head . concat) .) . zipWith (\x y -> [x | x == y]) 

或者扩展：

f xs ys = head $ concat $ zipWith (\x y -> [x | x == y]) xs ys 

如果索引必须在第一个列表中是最小的：

f xs ys = head [x | x <- xs, x `elem` ys] 

Answer 2

您可以定义一个辅助谓词如果一个元素，检查在列表中（这已经在Data.List中实现）。然后在你的主函数中通过第一个列表进行递归。这是做到这一点的一种方法。

element1 :: (Eq a) => [a] -> [a] -> [a] 
element1 [] _ = [] 
element1 _ [] = [] 
element1 (h:t) xs = if (isInList h xs) 
        then [h] 
        else element1 t xs 

isInList :: (Eq a) => a -> [a] -> Bool 
isInList _ [] = False 
isInList e (x:xs) = if e == x 
        then True 
        else isInList e xs 

一些输出：

element1 [1,2,3] [8,5,9,3] = [3] 
element1 [1,2,3] [1,5,9,3] = [1] 
element1 [1,2,3] [3,2,1] = [1]