Haskell的tails函数为何返回包含原列表的结果？

引言与背景 #

在Haskell中，tail函数用于获取列表的后缀：

tail [1,2,3]

返回结果为：

[2, 3]

而tails函数会返回所有后缀：

tails [1,2,3]

返回结果为：

[[1,2,3],[2,3],[3],[]]

核心原因：数学严谨性与实用场景的双重考量 #

这种设计并非历史遗留，而是有明确的逻辑和实用价值：

1. 数学定义的完整性 #

从形式语言理论的角度，列表的后缀定义天然包含自身——就像字符串的后缀中，原串是自身长度相等的后缀。这种定义保持了数学上的自洽性：

• 对于空列表[]，tails []返回[[]]，完全符合“所有后缀”的定义（空列表唯一的后缀就是自己）。
• 非空列表的递归定义tails (x:xs) = (x:xs) : tails xs简洁且无特殊边界处理，逻辑链完整。

2. 实用编程的便利性 #

这种设计在实际开发中能减少额外操作：

• 全场景后缀处理：比如字符串匹配、列表遍历校验时，往往需要先检查原列表本身，再依次处理更短的后缀。如果tails不返回原列表，你还得手动拼接原列表，多一步冗余操作。
• API对称性：Haskell标准库讲究设计一致性，tails和inits（返回所有前缀）是对称接口——inits [1,2,3]返回[[],[1],[1,2],[1,2,3]]，tails的设计保持了这种对称，让API更易记忆和组合。
• 避免空结果：空列表调用tails返回[[]]而非空列表，能在很多函数式编程模式中省去额外的空值判断逻辑。

3. 自定义需求的低成本实现 #

如果你需要“严格短于原列表”的后缀，直接用tail (tails [1,2,3])就能得到[[2,3],[3],[]]；如果要排除空列表，用filter (not . null) (tails [1,2,3])即可得到[[1,2,3],[2,3],[3]]。标准库提供通用定义，用户可以按需组合，比单独提供多个细分函数更灵活。

内容的提问来源于stack exchange，提问作者Ettore Galli