Haskell - funkcja zwraca pusty znak

Question

Próbuję utworzyć funkcję, która spada co n-ty element z ciągu znaków.

dropEvery :: String -> Int -> String 
dropEvery str n = map (\(char, indx) -> if indx `mod` n /= 0 then char else ' ') (zip str [1..]) 

Teraz to po prostu zamienia każdy element n'th z miejsca, ale co mam umieścić po „inny”, jeśli chcę wrócić „pustym char”. Rozumiem, że coś takiego nie istnieje w Haskell, więc pytanie brzmi: jak mam powiedzieć Haskellowi, aby niczego nie zwracał i po prostu przejdzie do następnego znaku?

Answer 1

Nie można tego zrobić z zaledwie map z definicji nie może zmienić długości kolekcji, do której się stosuje. Możesz jednak uruchomić to bez zbyt wielu zmian, przechodząc na concatMap. Ta funkcja wymaga, aby funkcja, którą mapujesz, zwróciła listę, a następnie połączy wszystkie wyniki razem. Wszystko trzeba by zrobić, to

dropEvery str n = 
    concatMap (\(char, indx) -> if indx `mod` n /= 0 then [char] else []) (zip str [1..]) 

Answer 2

map zachowuje strukturę listy, a operacje modyfikują ją, usuwając elementy. Oznacza to, że nie można używać map, ale można użyć mapMaybe który pozwala zapewnić funkcję, która zwraca Nothing dla elementów, które chcesz usunąć z wyjścia:

import Data.Maybe (mapMaybe) 
dropEvery str n = mapMaybe (\(char, indx) -> if indx `mod` n /= 0 then Just(char) else Nothing) (zip str [1..]) 

Answer 3

Można to zrobić bez mod. Zamienię kolejność argumentów, aby uczynić to bardziej idiomatycznym.

dropEvery :: Int -> [a] -> [a] 
dropEvery n xs = map fst . filter ((/= n) . snd) $ zip xs (cycle [1..n]) 

Jeśli prędkość jest krytyczna, to prawdopodobnie najbardziej efektywne w użyciu tej techniki z wyraźną rekursji lub foldr. Coś takiego:

dropEvery n xs = foldr go (`seq` []) xs n where 
    go _ r 1 = r n 
    go x r k = x : r (k - 1)