如何在OCAML中产生n数量相等大小的赞助者？

Question

我的目标是将split n l函数采用n和一个作为参数的列表，然后尝试将该列表拆分为n编号相等的列表。

我功能的签名是：val split：int-＆gt; '清单 - ＆gt; '列表列表=＆lt; fun＆gt;

该列表上的执行：[0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20]将给出：

[[0; 1; 2; 3; 4; 5; 6]; [7; 8; 9; 10; 11; 12; 13]; [14; 15; 16; 17; 18; 19; 20]];

我试图用我与之合作的OCAML书以及我发现的功能来激发自己的

let take l n =
  if n < 0 then
    raise (Invalid_argument "take")
  else
    let rec take_inner r l n =
      if n = 0 then
        List.rev r
      else
        match l with
        | [] -> raise (Invalid_argument "take")
        | h :: t -> take_inner (h :: r) t (n - 1) in
    take_inner [] l n

let drop l n =
  let rec drop_inner n l =
    match l with
    | [] -> raise (Invalid_argument "drop")
    | _ :: t ->
      if n = 1 then
        t
      else
        drop_inner (n - 1) t in
  if n < 0 then
    raise (Invalid_argument "drop")
  else if n = 0 then
    l
  else
    drop_inner n l

let rec split n l =
  try take l n :: split n (drop l n)
  with _ -> (
    match l with
    | [] -> []
    | _ -> [l])

灵感列出了n个大小的赞助者，而不是n个sublists。

我只是看不到如何一起调整所有内容以了解我想要的东西。

请问吗？谢谢。

Answer 1

如果要将初始列表拆分为n同等大小的列表，则首先需要确定每个列表的大小。为此，您需要计算原始列表的大小并将其除以n。如果均匀分裂，那么这是每个列表的长度，您已经知道如何生成给定长度的列表。如果它不均匀分裂，则可以生成错误或将最后一个列表缩短，具体取决于您从功能中所需的内容。