例如，我有一个列表 (1 2 3 4 5 6 7 8 9 10 11) ，并希望将其粗化 3 个元素(或其他长度)以获得 ((1 2 3) (4 5 6) (7 8 9) (10 11)) .我可以为此使用什么漂亮的代码？谢谢。
最佳答案
List(1,2,3,4,5,6,7,8,9,10,11) grouped 3 toList
res0: List[List[Int]] = List(List(1, 2, 3), List(4, 5, 6),
List(7, 8, 9), List(10, 11))
关于scala - 如何以功能风格粗化(而不是扁平化)列表？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2875223/