F#:通过模式匹配返回列表列表时出现问题?

F#: Problems when returning List of lists via pattern matching?

所以我有这段代码,基本上可以将列表分成 k 个项目。 因此,如果有列表 [1;2;3;4;5;6;7] 并且我想将前 k = 3 个项目拆分开,那么它会将列表拆分为 [1;2;3] 和 [ 4;5;6;7]。

我想要return这两个,所以我的计划是将它们放入一个列表列表中,或者将它们放入一个包含 2 个列表的元组中会更好。 所以我 returning [[1;2;3]; [4;5;6;7]] 或 ([1;2;3], [4;5;6;7]).

我也尝试通过将两个列表转换为元组来做到这一点,但我不知道如何 return 最后一个模式匹配的列表的空元组。

此外,我知道这可以通过某种 .take 或 .split 函数更简单地完成,但我试图理解 F#,所以我这样做了。

但是请帮忙! 我的错误是: 期待一个 ''a'
但给出了 ''a list'

let populateList k =
  let data = [1;2;3;4;5;6;7]
  let rec helper count aList =
    match aList with
    | head::tail when count < k ->
        let theTail = tail
        let newList = head :: helper (count+1) tail
        //let aTuple = (theTail,newList)
        //aTuple
        [theTail; newList]
    | _ -> []
    helper 0 data

 populateList 3

辅助函数必须跟踪两个结果列表才能在递归构造中工作。这是一个例子:

let populateList k =
  let data = [1;2;3;4;5;6;7]
  let rec helper count (first_k, rest) =
    if count < k then
        match rest with
        | a::tail -> helper (count+1) (a::first_k, tail)
        | _ -> ([],[])
    else (first_k |> List.rev, rest)
  helper 0 ([], data)

populateList 3