字符串上的摺疊

我想摺疊一個字符串，以便任何以@開頭的零出現被替換爲「k」。所以「a。@ 0.1.2.0」變成「a。@ k.1.2.0」。我怎麼做？到目前爲止，我的嘗試是字符串上的摺疊

test = foldl(\x acc-> if((last acc) == "@" && x == "0" then acC++ "k" else acC++ x)) "" "[email protected]"

但是，它不起作用。 Foldl期待字符串列表，我提供的僅僅是一個字符串。我如何克服這一點？

來源

2015-09-27 Andrew

不要用'foldl'做到這一點。這絕對是一個'foldr'或'mapAccumL'問題。 'foldl'肯定會讓這個緩慢。 – dfeuer

但是，如果我使用foldr，如何知道給定0是否在@之前。 – Andrew

爲什麼要使用任何摺疊？ – melpomene

以志的建議，

rep "" = "" 
rep ('@' : '0' : xs) = "@k" ++ rep xs 
rep (x : xs) = x : rep xs

如果我們想更大膽的嘗試，

rep = snd . mapAccumL go False 
    where 
    go True '0' = (False, 'k') 
    go _ '@' = (True, '@') 
    go _ x = (False, x)

甚至

rep = snd . mapAccumL go 'x' 
    where 
    go '@' '0' = ('0', 'k') 
    go _ y = (y, y)

要使用第二種方法（只是因爲它是更短的使用foldr ;第一個也可以正常工作，並允許泛化），

rep xs = foldr go (const "") xs 'x' 
    where 
    go '0' r '@' = 'k' : r '0' 
    go x r _ = x : r x

要使用zipWith（這是比較尷尬的概括）：

rep xs = zipWith go ('x' : xs) xs where 
    go '@' '0' = 'k' 
    go _ x = x

來源

2015-09-27 19:28:03 dfeuer

它的作品謝謝！ – Andrew

正如其他人評論說，foldl將不合身這項任務。然而，使用difference list的想法，你可能還在使用foldl做到這一點有效：

repl :: String -> String 
repl a = foldl loop id a "" 
    where 
    loop :: (String -> String) -> Char -> (String -> String) 
    loop f '@' ('0':rest) = f ('@':'k':rest) 
    loop f x xs = f (x:xs)

只是爲了演示的目的，事實上，這個問題已經問了foldl解決方案。（不是我會推薦這樣做）。

來源

2015-09-27 19:49:26

雖然這應該有正確的漸近邊界，就像「構建反向，然後反向」技術一樣，它在列表的脊柱中是完全嚴格的，因此在實踐中效率低下。 – dfeuer

字符串上的摺疊

回答

相關問題