《趣学》里的一段代码：用fold实现一个搜索子List的函数

pass12163com

search :: (Eq a) => [a] -> [a] -> Bool  
search needle haystack =  
  let nlen = length needle  
  in foldl (\acc x -> if take nlen x == needle then True else acc) False (tails haystack)

想问问：map、fold等有中断（类似break、exit）的方法么？上面的search如果在列表头部就找到了子List，它还是得遍历列表吧

还有，foldl (\acc x -> if take nlen x == needle then True else acc) False (tails haystack)的思路给人感觉机关重重，还是没有适应这样的表达方式？

pass12163com

解释一下“机关重重”——是指False (tails haystack)这样的参数，还有acc。解决一个简单的问题，似乎绕的弯多了些。

MMMIX

原帖由 pass12163com 于 2009-5-5 10:38 发表
search :: (Eq a) => [a] -> [a] -> Bool  
search needle haystack =  
  let nlen = length needle  
  in foldl (\acc x -> if take nlen x == needle then True else acc) False (tails haystack)

想问问：map、fold等有中断（类似break、exit）的方法么？

没有。

上面的search如果在列表头部就找到了子List，它还是得遍历列表吧

对。

MMMIX

原帖由 pass12163com 于 2009-5-5 10:48 发表
解释一下“机关重重”——是指False (tails haystack)这样的参数，还有acc。

这个你看看 foldl 的类型就清楚了。

解决一个简单的问题，似乎绕的弯多了些。

是稍微有点绕。我再给个解法：

1. 
   
2. search xs ys = or $ zipWith isPrefixOf (repeat xs) (tails ys)
   

复制代码

这个可以提前结束，而且希望它更易懂。

pass12163com

search xs ys = or $ zipWith isPrefixOf (repeat xs) (tails ys)

这个可以提前结束，而且希望它更易懂。

谢谢，是容易懂，还学到了"or"的一招。