提取列表的两个元素并递归传递其余元素

Question

我有一个包含 2 种类型的类型 def 和一个相同类型的列表，该列表可能为空，也可能不为空。

type Type1 = string
type Type2 = int
type Type3 = Sometype of Type1 * Type2 * Type3 list

我正在尝试创建元组中所有前两个元素的列表，递归地传递最后一个（其他类型 3 的列表），将其附加到我正在生成的列表中。或者至少这就是我正在尝试的。我的函数给了我一个错误：

let rec extSometypeInc d   =
   match d with
    | Sometype(n,i,[])         -> [(n,i)]
    | Sometype(n,i,r1::r2::rt) -> (n,i) :: extSometypeInc(r1,r2,rt)
    ;;

错误 FS0001：此表达式应具有类型 Type3
但这里有类型 'a * 'b * 'c

Answer 1

我不完全确定您的最终目标，但就意外结果类型而言，您似乎有语法错误。

| Sometype(n,i,r1::r2::rt) -> (n,i) :: extSometypeInc(r1,r2,rt)

将三个值的单个元组作为第一个参数传递给 extSometypeInc。

我相信你想要：

| Sometype(n,i,r1::r2::rt) -> (n,i) :: (extSometypeInc r1 r2 rt)

这将传递三个参数。

但是，此时您会发现编译器会坚持 Type1、Type2 和 Type3 都是同一类型，因为 F# 中的列表被限制为只能保存单一类型的值。您还将收到不完整模式匹配的警告，因为您的函数不包含奇数个值的列表。

如果不了解您要解决的问题的更多信息，我不确定解决这些问题的最佳解决方案是什么。