從Haskell字符串切割特定塊

Question

我試圖從列表中刪除具有給定謂詞的塊。我希望使用雙字符，例如~/，但已解決只使用$。我基本上是想要做的就是這個...

A: "Hello, my $name is$ Danny and I $like$ Haskell"

我想要把它變成是這樣的：

B: "Hello, my Danny and I Haskell"

所以我想在給定符號間剝離一切，$，或者我的第一選擇是~/，如果我能算出來的話。我試過的是這樣的：

s1 :: String -> String 
s1 xs = takeWhile (/= '$') xs 

s2 :: String -> String 
s2 xs = dropWhile (/= '$') xs 

s3 :: String -> String 
s3 xs = s3 $ s2 $ s1 xs 

這個解決方案似乎只是bug我的IDE（可能無限循環）。

解決方案：

s3 :: String -> String 
s3 xs 
|'$' `notElem` xs = xs 
|otherwise = takeWhile (/= '$') xs ++ (s3 $ s1 xs) 

s1 :: String -> String 
s1 xs = drop 1 $ dropWhile (/= '$') $ tail $ snd $ break ('$'==) xs 

Answer 1

你的無限循環中來自呼叫s3遞歸沒有基本情況：

s3 :: String -> String 
s3 xs = s3 $ s2 $ s1 xs 

加入鹼的情況下修正無限循環：

s3 xs 
    | '$' `notElem` xs = xs 
    | otherwise = ... 

這並不是完整的答案。想想s1實際上做何使用它的返回值：

s1 "hello $my name is$ ThreeFx" == "hello " 

有關進一步的參考，請參閱break功能：

break :: (a -> Bool) -> [a] -> ([a], [a]) 

Answer 2

這似乎是解析器一個很好的應用。使用trifecta A液：

import Control.Applicative 
import Data.Foldable 
import Data.Functor 
import Text.Trifecta 

input :: String 
input = "Hello, my $name is$ Danny and I $like$ Haskell" 

---

cutChunk :: CharParsing f => f String 
cutChunk = "" <$ (char '$' *> many (notChar '$') <* char '$') 

cutChunk比賽$，隨後0以上（many）非$字符，然後另一個$。然後我們使用("" <$)使這個解析器的值始終爲空字符串，從而丟棄此解析器匹配的所有字符。

---

includeChunk :: CharParsing f => f String 
includeChunk = some (notChar '$') 

includeChunk我們想在結果，這是什麼，這不是$字符包括文本相匹配。我們使用some（匹配一個或多個字符）而不是many（匹配零個或多個字符）是很重要的，因爲我們接下來要將該解析器包含在另一個many表達式中;如果這個解析器與空字符串匹配，那麼它可以無限循環。

---

chunks :: CharParsing f => f String 
chunks = fold <$> many (cutChunk <|> includeChunk) 

chunks是一切解析器。閱讀<|>爲「或」，如「解析cutChunk或includeChunk」。 many (cutChunk <|> includeChunk)是一個解析器，它產生一個塊的列表，例如Success ["Hello, my ",""," Danny and I ",""," Haskell"]，所以我們fold輸出將這些塊連接成一個單一的字符串。

---

result :: Result String 
result = parseString chunks mempty input 

結果：

Success "Hello, my Danny and I Haskell" 

Answer 3

我覺得你的邏輯是錯誤的，也許更容易把它寫在一個基本方式

Prelude> let pr xs = go xs True 
Prelude|   where go [] _ = [] 
Prelude|     go (x:xs) f | x=='$' = go xs (not f) 
Prelude|        | f = x : go xs f 
Prelude|        | otherwise = go xs f 
Prelude| 

Prelude> pr "Hello, my $name is$ Danny and I $like$ Haskell" 
"Hello, my Danny and I Haskell" 

說明標誌f保持追蹤狀態（無論是否通過模式）。如果當前字符是一個令牌跳過和切換狀態。