了解Haskell中的列表

Question

请原谅我简单的头脑，但是我很难理解Haskell，尤其是清单。 我尝试编写一个函数以返回字符串（不包含导入模块）的指定长度n的所有子字符串（每次从原始字符串的长度-1开始调用该函数时，该子字符串将减少一个）。 我写了下面的代码

allSubs :: Int -> Int -> String -> [String]
allSubs x n s
    |n > x      = (take n (drop x (tail s))) : allSubs (x+1) n s

无论多么有缺陷，我都不会期望代码逻辑或健壮性方面的帮助。 但是我想知道是否正在创建任何列表。 我以前只是用C编码，我可以在其中键入

else { return listx }

之类的东西，但是在这种情况下，列表的名称是什么？ 如果我想在另一个函数中使用该列表，例如，如果我想使用函数findRep在列表中找到重复的字符串，我可以编写

    |otherwise  = findRep list

任何建议将不胜感激。

Answer 1

概念：

all substrings of (x:xs) = (all substrings beginning at position 0) ++ 
                           (all substrings of xs)

因此涉及两个函数：“的所有子串”和“所有从位置0开始的子串”。 我们称它们为allsubs和pos0 。

现在考虑如何递归定义pos0 ：

• 对于空字符串，唯一从位置0开始的子字符串是空字符串
• 对于(x:xs)我们可以使用空字符串，也可以让ys成为pos0 xs的成员，并在其中添加x

现在，您只需要将此规范转换为Haskell。

放在一起：

allsubs "" = ???
allsubs (x:xs) = pos0 (x:xs) ++ allsubs xs

pos0 "" = ???
pos0 (x:xs) = [ "" ] ++ ???