ELM语言map/fold函数理解及同值元素分组实现问询

嘿，我懂你在理解map和fold函数时遇到的这个分组难题了！首先得明确：map函数本身不太适合做这种需要累积状态的操作——因为map是对每个元素做独立的一对一转换，没法记住之前处理过的元素状态；而fold（很多语言里叫reduce）刚好就是用来处理这种需要逐步累积结果的场景，完美适配你的分组需求。

核心思路 #

我们可以用fold来维护一个「累积结果数组」，遍历输入数组的每个元素时：

• 如果累积数组是空的，或者当前元素和累积数组最后一组的元素不一样，就新建一个包含当前元素的组，加到累积数组里；
• 如果当前元素和最后一组的元素相同，就把它追加到最后一组中。

代码示例（以JavaScript的reduce为例，它就是fold的一种实现） #

const input = [1, 1, 2, 2, 3];
const groupedResult = input.reduce((accumulator, currentItem) => {
  // 检查是否需要新建分组
  if (accumulator.length === 0 || accumulator[accumulator.length - 1][0] !== currentItem) {
    accumulator.push([currentItem]);
  } else {
    // 追加到已有分组
    accumulator[accumulator.length - 1].push(currentItem);
  }
  return accumulator;
}, []); // 初始累积值是空数组

console.log(groupedResult); // 输出: [[1,1],[2,2],[3]]

为什么不用map？ #

再啰嗦两句：map的设计是每个元素的转换只依赖自身，不能访问之前的处理结果。比如你用map的话，每个元素只能返回自己或者一个单元素数组，但没法把之前相同的元素合并到一起——因为map没法跟踪「上一个元素是什么」「已经累积了哪些组」这些状态，所以这种场景下fold才是正确的选择。

内容的提问来源于stack exchange，提问作者Mirjan Pecenko