Data.List.Split的“ chunksOf”，值为0

Question

Data.List.Split的chunksOf具有以下类型：

Prelude Data.List.Split> :t chunksOf
chunksOf :: Int -> [e] -> [[e]]

简单的例子：

Prelude Data.List.Split> chunksOf 2 [1,2,3,4]
[[1,2],[3,4]]

当我传递值0 ，它将返回一个空列表的无限列表：

Prelude Data.List.Split> take 5 $ chunksOf 0 [1]
[[],[],[],[],[]]

这种行为的原因是什么？ 不返回Maybe [[a]]的优点/原因是什么？

Answer 1

正是有一种明智的方法可以从列表中生成大小为0的块，因此可以做到这一点。 它不是那么有用，但是产生合理且无用的东西比处理Maybe或引发异常更好。