string - 将两个字符串连接在一起

Question

我想使用将两个字符串连接在一起的 Haskell 定义我自己的中缀运算符。但是，我想添加一个额外的子句，其中运算符将连接两个字符串中的重叠元素。所以一个例子是

"eagle" myinfix "eagleeyes" = "eagleeyes"
"water" myinfix "book" = "waterbook"
"need" myinfix "education" = "needucation"

我已经想出了如何返回字符串中的重叠部分：

check x y = head $ filter (`isPrefixOf` y) (tails x)

但我不知道如何将其纳入。有什么帮助吗？

Answer 1

你正在以稍微错误的方式去做。

(+++) :: Eq a => [a] -> [a] -> [a]
xs     +++ ys | xs `isPrefixOf` ys = ys
(x:xs) +++ ys                      = x : (xs +++ ys)

也就是说，你并不真正关心重叠是什么，你只关心你是否达到了它。

---

这是另一个没有显式递归的解决方案。

(++++) :: Eq a => [a] -> [a] -> [a]
xs ++++ ys = prefix ++ ys
  where (prefix, _) : _ = filter (\(_, overlap) -> overlap `isPrefixOf` ys) $ zip (inits xs) (tails xs)

在这里，我们开始寻找重叠，就像在你的一样check，但是我们没有保留重叠，而是产生了xs不重叠的部分。

Answer 2

overlapConcat :: (Eq a) => [a] -> [a] -> [a]
overlapConcat s t = s ++ drop (length $ check s t) t

这不会像提供的其他版本那么快，因为它将执行两次 pass over s，但我认为它更具可读性，并且具有直观意义。