为什么 Haskell 基础库中没有“非空列表”类型？答案

【问题标题】：Why is there no "non-empty list" type in the Haskell base libraries?为什么 Haskell 基础库中没有“非空列表”类型？
【发布时间】：2015-02-26 00:04:00
【问题描述】：

这种类型可能是

data NonEmptyList a = NEL a [a]

函数head、tail 和其他函数将成为新创建的Listable 类型类的方法。一些函数已经可以适应现有的类型类（maps/folds/traversals/monads）。

为什么这种类型不是 Haskell 标准库的一部分？

【问题讨论】：

【解决方案1】：

类型确实存在。

你必须导入

Data.List.NonEmpty

【讨论】：

【解决方案2】：

定义这种类型的包列表本身并不空：至少有六个：

Haskell Wiki 有一个关于非空列表的完整 page。

您的问题：为什么不在基本包中的非空列表更难回答。但是该类型是基类（Foldable、Zip）中许多有用类的实例，因此使用它们的机制已经存在，您只需要少量实例定义即可使用它。

【讨论】：

【解决方案3】：

从 GHC 8.0.1 开始，base 现在在Data.List.NonEmpty 中有一个NonEmpty 列表类型：

【讨论】：