哈斯克爾 - 如何將字符串到字符串

Question

我有一個字符串列表，我想在下面的代碼列表的末尾添加一個字符串，但我收到類型匹配錯誤列表：

eliminateImpl :: [String] -> String -> [String] 
eliminateImpl [] _ = [] 
eliminateImpl (p:ps) r = if (contains (p:ps) "Impl") 
         then if (p == "Impl") 
           then "Not " ++r++" Or "++ps -- TRYING TO CONCATENATE HERE 
           else let r = r++p 
            in eliminateImpl ps r 
          else (p:ps) 

contains :: [String] -> String -> Bool 
contains [_] [] = True 
contains [] _ = False 
contains (p:ps) c = if p == c 
        then True 
        else contains ps c 

代碼的實際功能是函數eleminateImpl採用一階邏輯表達式，例如：「eliminationImpl [」Q（y）「，」Impl「，」P（x）「] []」和它應去除含義並修改表達式，以便輸出爲：「exceptImpl [」Not「，」Q（y）「，」Or「，」P（x）「]

我試過r ++ p和r：p但兩者都不起作用，這是錯誤：

Couldn't match type ‘Char’ with ‘[Char]’

Expected type: [String] 

    Actual type: [Char] 

In the first argument of ‘(++)’, namely ‘"Not "’ 

In the expression: "Not " ++ r ++ " Or " ++ ps 

In the expression: 

    if (p == "Impl") then 

     "Not " ++ r ++ " Or " ++ ps 

    else 

     let r = r ++ p in eliminateImpl ps r 

有沒有另一種方法呢？

Answer 1

如果我理解正確的話，這似乎是接近你想要什麼：

EliminateImpl :: [String] -> [String] 
EliminateImpl [] = [] 
EliminateImpl [x] = [x] 
EliminateImpl (pred:impl:rest) str 
    | impl == "impl" = ("Not" : pred : "Or" : (EliminateImpl rest)) 
    | otherwise = (pred : (EliminateImpl (impl : rest))) 

如果我有誤解，請評論，我會改變我的答案。

只更換一個含義：

EliminateImpl :: [String] -> [String] 
EliminateImpl [] = [] 
EliminateImpl [x] = [x] 
EliminateImpl (pred:impl:rest) str 
    | impl == "impl" = ("Not" : pred : "Or" : rest) 
    | otherwise = (pred : (EliminateImpl (impl : rest))) 

這些功能應該通過字符串列表，直到他們找到的第一個"impl"。 "impl"之前沒有任何更改。如果你想改變這種修改應該是微不足道的。

Answer 2

類型註釋：

r :: String 
p :: String 
ps :: [String] 
-- We need to produce a [String], not a String 

(++) :: [a] -> [a] -> [a] 
(++) :: String -> String -> String -- Because String = [Char] 

(:) :: a -> [a] -> [a] 

"Not " ++ r ++ " Or " :: String 
("Not " ++ r ++ " Or ") : ps :: [String] 

這個過程應該引導您正確實施。仔細研究這些類型。我喜歡使用let或where來寫入中間值的類型註釋;這樣，當表達式不具有我期望的類型時，我會得到一個真正特定的類型錯誤。