List 函数式编程：将列表划分为给定大小的较小列表的习惯用法？

假设我有一个列表，想把它分成大小为

n

的子列表，最后一个子列表可能比其他子列表小。这是函数式编程中的常见习惯用法吗？如果是，它叫什么

使用此函数的一个示例是以批处理方式处理列表中的项目

---

我只能找到一个实现这个功能的库——谷歌番石榴。

我不敢相信只有番石榴有这个功能

• 在PHP中，它被称为
• 在Scala，它被称为
• 在Ruby中是

---

我想这毕竟不难找到。不过，这个函数似乎没有一个通用名称。