非穷举模式，Haskell

Question

我试图编写函数尾部，它将字符串转换成字符串列表，方式如下：

tails "abc" = ["abc", "bc", "c", ""]

以下是我的实现：

tails :: [Char] -> [[Char]]
tails (x:xs)
  | length (x:xs) == 0 = [""]
  | otherwise = (x:xs) : tails xs

正如标题所暗示的，这个函数中有一些非详尽的模式。不幸的是，我不明白为什么。

我是哈斯克尔的新手。。。任何帮助都将不胜感激！

Answer 1

试试这个怎么样，或者至少从中得到一些逻辑。它工作得很好。它有一个辅助函数来将字符串转换成一个独立字符列表，例如“abc”变成[“a”、“b”、“c”]。这样处理它们就不那么复杂了，而且有必要在结果列表中收集不同的字符串。函数集中有两个函数，第三个函数可以用一个参数调用主函数。主要功能在一行上，但使用警卫。

ca = [[c] | c <- "abcdef"]
f (l1,ls) | null ls = l1++[[]] | True = f ( l1 ++ [concat ls], (tail ls))
f ([],ca)
["abcdef","bcdef","cdef","def","ef","f",""]

编辑4/4/2018我错了。列表参数不必事先制作成列表。如果不这样做，函数会变得更简单，方法是去掉conat函数，并将参数列表从元组更改为单个去掉的批次或括号。

fs l1 ls = if null ls then l1++[""] else fs (l1++[ls]) (tail ls)

它的调用方式也不同。

fs[]"你好！"

这本身就产生了正确的结果。

编辑/添加2018年11月4日

当Haskell使用（x:xs）将输入拆分为头和尾时，保持重复出现（没有双关语）的是对尾的依赖。下面是一个基本的递归函数，它只对head和tail使用（x:xs）。我生成输入列表的所有尾部，包括null。

t [] = [""]; t (x:xs) = [x:xs] ++ t xs

还有一个是以列表作为唯一参数的。

t ls = [drop n ls|n<-[0..length ls - 1]]

Answer 2

该模式不是详尽的，因为它不能接受[]。列表的形式为[]或A:as，其中A是前导元素，as是尾随元素的列表。因此，模式x:xs仅在列表有前导元素时匹配。修正，给出：

tails :: [Char] -> [[Char]]
tails xs
    | length xs == 0 = [""]
    | otherwise = let (_:xs') = xs in xs : tails xs'

然后，xs接受列表，而不管其形式如何。但由于长度，这是低效的，并且不适用于无限列表。

这应该完全有效，它直接进行模式匹配：

tails :: [Char] -> [[Char]]
tails [] = [""]
tails xs@(_:xs') = xs : tails xs'