Wie kann ich Elemente aus zwei Listen nach einem Prädikat vergleichen und entsprechend auswählen?

Question

Was ich versuche zu erreichen, zwei Listen von Tupeln mit ((==) `on` fst) und aus den Paaren zu vergleichen, die dieses Prädikat erfüllen, diejenigen auszuwählen, die erfüllen (min `on` snd)

Answer 1

Um einen allgemeinen Fall zu lösen, können Sie modifizierte Version des Filters definieren Dieses Muster stimmt mit einem Tupel überein, das zwei Vergleichselemente enthält, und prüft, ob beide erfüllt sind.

filter' :: ((a->Bool),(a->Bool)) -> [(a,a)] -> [(a,a)] 
filter' (pred1,pred2) = foldr f [] 
where f = (\x acc -> if pred1 $ fst x then 
             if pred2 $ snd x then x : acc 
             else acc 
         else acc 
      ) 

, die eine Liste [(1,2),(2,2),(3,3),(3,4)] mit dem ersten Prädikat odd und das zweite Prädikat even wie bewerten würde:

>> filter' (odd,even) [(1,2),(2,2),(3,3),(3,4)] 
[(1,2),(3,4)] 

Answer 2

Ich werde davon ausgehen, dass ...

Was ich versuche zu Erzielen ist es, zwei Listen von Tupeln mit ((==) `on` fst)

zu vergleichen

... bedeutet, jedes Paar in einer Liste mit dem entsprechenden Paar in der anderen Liste zu vergleichen, wie im üblichen (==) für Listen.

Hier ist ein meist pointfree (und vielleicht etwas verschroben) Lösung, die nah an Ihrem ursprünglichen Vorschläge bleibt:

-- Suggestions of sensible names for this are welcome. 
yourSelector :: (Eq a, Ord b) => [(a, b)] -> [(a, b)] -> [(a, b)] 
yourSelector ps = fmap (minBy' snd) 
    . filter (uncurry ((==) `on` fst)) . zip ps 
    where 
    minBy' f (x, y) = case (compare `on` f) x y of 
     LT -> x 
     _ -> y 

GHCi> yourSelector [(1,2),(3,5),(4,7)] [(1,3),(2,2),(4,9)] 
[(1,2),(4,7)] 

Für alternative Möglichkeiten des Schreibens minBy', vgl Maximizing according to a function.