Haskell - 如何将字符串连接到字符串列表

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 采用一阶逻辑表达式，例如：“eliminateImpl [”Q(y)","Impl","P(x)"] []" 它应该删除蕴涵并修改表达式，使输出为："eliminateImpl ["Not", "Q(y)"," Or ","P(x)"]

我尝试了 r++p 和 r:p 但两者都不起作用。这是错误：

无法将“Char”类型与“[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

类型注释：

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 来写中间值的类型注解；这样，当表达式不具有我期望的类型时，我会得到一个非常具体的类型错误。

Answer 2

如果我理解正确，这似乎接近你想要的：

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" 之前的任何内容都不会更改。如果你想改变它，修改应该是微不足道的。