如何在OCaml中对列表进行重塑操作？

要将一维列表[1; 2; 3; 4; 5; 6; 7; 8; 9]重塑为二维分块列表[[1; 2; 3]; [4; 5; 6]; [7; 8; 9]]，OCaml标准库没有直接提供分块函数，但可以通过简单的递归实现或标准库函数组合来完成，以下是两种实用方案：

方案一：手动递归实现 #

这种方法直观易懂，通过嵌套递归函数拆分列表：

let rec chunk n = function
  | [] -> []
  | lst ->
      (* 辅助函数：取出列表前n个元素，返回(取出的块, 剩余列表) *)
      let rec take n acc = function
        | [] -> (List.rev acc, [])
        | h::t when n > 0 -> take (n-1) (h::acc) t
        | lst -> (List.rev acc, lst)
      in
      let current_chunk, rest = take n [] lst in
      current_chunk :: chunk n rest

使用示例：

chunk 3 [1; 2; 3; 4; 5; 6; 7; 8; 9]
(* 输出：[[1; 2; 3]; [4; 5; 6]; [7; 8; 9]] *)

方案二：基于List.fold_left实现 #

利用标准库的折叠函数完成分块，更偏向函数式风格：

let chunk n lst =
  let folder (current_chunk, result) elem =
    if List.length current_chunk < n then
      (* 当前块未填满，继续添加元素 *)
      (elem :: current_chunk, result)
    else
      (* 当前块已满，存入结果并开始新块 *)
      ([elem], List.rev current_chunk :: result)
  in
  let final_chunk, final_result = List.fold_left folder ([], []) lst in
  (* 处理最后一个未填满的块，反转结果恢复顺序 *)
  List.rev (List.rev final_chunk :: final_result)

使用示例和方案一完全一致，最终输出目标分块列表。

注：如果项目中引入了第三方库（如Batteries、Core），可以直接使用库中现成的List.chunk函数，无需手动实现。

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