如果列表按顺序包含某些信息,请说明

Question

给出如下列表:

let list = [1,2,3,4,5,6,7,8,9,10]

我试图想出一种方法来检测7,8,9列表中是否按顺序存在,只是打印输出"成功",如果确实如此,否则"失败".

我正在尝试使用zip索引来完成此操作.有人可以建议我是否在正确的轨道上或是否有更好的方法来实现这一目标？

zip [0..] list

然后是这样的:

[if (snd x)== 
             7 && let index = (fst x) 
               && (snd x)==8 && (fst x)==(index+1) 
               && (snd x)==9 && (fst x)==(index+2) 
               then "success" 
               else "fail" | x <- list]

Answer 1

在试图找出列表算法时,通常最好先考虑列表头中的特殊情况.在这种情况下,您将如何测试列表的开头[7,8,9]？

beginsWith789 :: [Int] -> Bool
beginsWith789 (7:8:9:_) = True
beginsWith789 _         = False

即我们可以将模式匹配到前三个元素.现在概括一下,如果我们在列表头中找不到子序列,我们递归检查列表的尾部

contains789 :: [Int] -> Bool
contains789 (7:8:9:_) = True
contains789 (_:xs)    = contains789 xs
contains789 _         = False

现在,如果我们想进一步推广它以找到任何子序列,我们可以使用以下isPrefixOf函数Data.List:

import Data.List (isPrefixOf)

contains :: Eq a => [a] -> [a] -> Bool
contains sub lst | sub `isPrefixOf` lst = True
contains (_:xs)  = contains sub xs
contains _       = False

我们可以通过使用any和tails检查列表的任何连续较短的尾部是否以给定的子序列开始来整理它:

import Data.List (isPrefixOf, tails)

contains :: Eq a => [a] -> [a] -> Bool
contains sub = any (sub `isPrefixOf`) . tails

或者,我们可以简单地使用标准库函数isInfixOf.;)

> import Data.List
> [7,8,9] `isInfixOf` [1,2,3,4,5,6,7,8,9]
True

Answer 2

我会推荐这个isInfixOf功能Data.List.查找序列非常简单

let hasSequence = [7,8,9] `isInfixOf` list