是否存在某个现有的核心函数,可以用它对一个已排序的列表进行分区,以便将[1 2 3 7 8 14 15 16 17 20 21 22]变为[[1 2 3] [7 8] [14 15 16 17] [20 21 22]]?
我想过如何用循环来实现(每次当当前值与前一个值的差大于1时开始一个新的列表),但我怀疑是否存在一种功能化的表达方式。
为了便于理解,这个问题是数据清洗练习的一个简化版本,我试图通过检查数据时间戳的差异来识别传感器数据的收集中断(例如,断电)。我可以看到像split-with这样的函数,但是我不认为提供给这些函数的谓词可以提供序列中前一个项的值,以便对序列中的项进行比较。
感谢您的考虑:)