IDENTYFIKACJA Haskella dla mapy "selektywnej"

Question

Załóżmy, że chcemy uzyskać map nad kolekcją, ale zbieramy wyniki zmapowanej funkcji tylko wtedy, gdy odwzorowana wartość spełnia określone kryteria. Jestem obecnie robi to jako takie:

func = foldl (\acc x, -> (maybeGrab x):acc) [] 


maybeGrab a 
    | a > 5 = [someFunc a] 
    | otherwise = [] 

Chociaż to działa, jestem pewien, że jest bardziej idiomatyczne „prawo/common/bardziej rozpoznawalny” sposób to zrobić.

Answer 1

mapMaybe :: (a -> Maybe b) -> [a] -> [b] 

mapMaybe z pakietu Data.Maybe wygląda tak, jak robi to zadanie. Dokumentacja mówi:

Funkcja mapMaybe jest wersją mapy, która może wyrzucać elementy. W szczególności argument funkcjonalny zwraca coś z rodzaju Może b. Jeśli nie ma nic, żaden element nie jest dodawany do listy wyników. Jeśli to po prostu Just b, to b jest zawarty na liście wyników.

Answer 2

Hmm. To zdecydowanie wydaje się być miejscem, w którym spasowanie jest w porządku. Co powiedzieć:

func = foldl (\acc x -> let a = g x in if a > 5 then a:acc else acc) [] 

Tutaj g to funkcja, którą próbujesz zamapować na listę.

Nie mogę wymyślić żadnej funkcji, która natywnie łączy mapę i filtr bez składania.

[EDIT]

Och, podobno jest tam mapMaybe. Nigdy wcześniej tego nie używano. Poprawiono mnie. Ha, ucz się czegoś przez cały czas.

Answer 3

Osobiście zrobiłbym to w dwóch etapach: po pierwsze, wyeliminuj wartości, których nie obchodzi, a następnie mapuj.

func = map someFunc . filter (>5) 

ten może być również wyrażony ładnie postaci listy zrozumieniem.

func xs = [someFunc x | x <- xs, x > 5]