《趣學(xué)》里的一段代碼：用fold實(shí)現(xiàn)一個(gè)搜索子List的函數(shù)

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)

想問(wèn)問(wèn)：map、fold等有中斷（類(lèi)似break、exit）的方法么？上面的search如果在列表頭部就找到了子List，它還是得遍歷列表吧

還有，foldl (\acc x -> if take nlen x == needle then True else acc) False (tails haystack)的思路給人感覺(jué)機(jī)關(guān)重重，還是沒(méi)有適應(yīng)這樣的表達(dá)方式？

pass12163com

解釋一下“機(jī)關(guān)重重”——是指False (tails haystack)這樣的參數(shù)，還有acc。解決一個(gè)簡(jiǎn)單的問(wèn)題，似乎繞的彎多了些。

MMMIX

原帖由 pass12163com 于 2009-5-5 10:38 發(fā)表
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)

想問(wèn)問(wèn)：map、fold等有中斷（類(lèi)似break、exit）的方法么？

沒(méi)有。

上面的search如果在列表頭部就找到了子List，它還是得遍歷列表吧

對(duì)。

MMMIX

原帖由 pass12163com 于 2009-5-5 10:48 發(fā)表
解釋一下“機(jī)關(guān)重重”——是指False (tails haystack)這樣的參數(shù)，還有acc。

這個(gè)你看看 foldl 的類(lèi)型就清楚了。

解決一個(gè)簡(jiǎn)單的問(wèn)題，似乎繞的彎多了些。

是稍微有點(diǎn)繞。我再給個(gè)解法：

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

復(fù)制代碼

這個(gè)可以提前結(jié)束，而且希望它更易懂。

pass12163com

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

這個(gè)可以提前結(jié)束，而且希望它更易懂。

謝謝，是容易懂，還學(xué)到了"or"的一招。