हास्केल - फ़ंक्शन में एक खाली वर्ण

Question

है, मैं एक ऐसा फ़ंक्शन बनाने की कोशिश कर रहा हूं जो स्ट्रिंग से प्रत्येक n'th तत्व को छोड़ देता है।

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

अभी यह बस हर n'th तत्व एक स्थान के साथ बदलता है, लेकिन मैं क्या "और" के बाद डाल करने के लिए अगर मैं इसे एक "खाली चार" वापस करना चाहते चाहिए। मैं समझता हूं कि ऐसी चीज हास्केल में मौजूद नहीं है, इसलिए सवाल यह है कि - मुझे कुछ भी वापस न करने के लिए हास्केल को कैसे बताना चाहिए और बस अगले चार पर जाएं?

Answer 1

तुम बस map साथ ऐसा नहीं कर सकते , परिभाषा के अनुसार यह उस संग्रह की लंबाई को बदल नहीं सकता है जिस पर इसे लागू किया गया है। हालांकि, आप इसे concatMap पर स्विच करके बहुत अधिक परिवर्तन किए बिना काम पर ला सकते हैं। इस फ़ंक्शन को आपके फ़ंक्शन की आवश्यकता होती है जिसे आप मानचित्रण कर रहे हैं, एक सूची लौटाते हैं, फिर यह सभी परिणामों को एक साथ जोड़ता है। आपको बस इतना करना होगा कि

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

Answer 2

map सूची की संरचना को संरक्षित करता है, जबकि आपके संचालन तत्वों को हटाकर इसे संशोधित करते हैं। इसका मतलब है आप map उपयोग नहीं कर सकते, लेकिन आप जो आपको एक समारोह आप किन तत्वों उत्पादन से निकालना चाहते हैं के लिए Nothing रिटर्न प्रदान करने के लिए अनुमति देता है mapMaybe उपयोग कर सकते हैं:

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

आप mod के बिना ऐसा कर सकते हैं। मैं इसे अधिक मूर्खतापूर्ण बनाने के लिए तर्कों के क्रम को फ़्लिप करने जा रहा हूं।

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

तो गति महत्वपूर्ण है, यह संभावना सबसे स्पष्ट प्रत्यावर्तन या foldr साथ इस तकनीक का उपयोग करने के लिए कुशल होगा। कुछ इस तरह:

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