有没有什么技巧或前置函数可以测试一个列表是否包含特定的子字符串/子列表?xyz :: [a] -> [a] -> Bool xyz "hello world" "worl" -> True xyz [1,2,3,4,5,6,7,8,1,2,3,4,5] [7,8,1] -> True 我试图自己写一个,但这是一个琐碎的问题,我不想重复造轮子。
[a] -> [a] -> Bool
,表示搜索函数类型为接受两个列表作为输入并输出布尔值的函数。 - Sjoerd Visscherxyz
时,是否有意将其类型视为[a] -> [a] -> Bool
,而在第二个案例中则将其视为[[a]] -> [a] -> Bool
?因为很难找到一种函数可以同时允许这两种用法。 - sepp2k