F# 类型"int 列表"与类型"int"不匹配

Question

我正在尝试构造一个包含斐波那契数列数字的列表，但是当我稍后尝试调用该函数时，它告诉我int列表与int不匹配，

let rec fibonacci x list =
if List.head list > x then List.tail list
else fibonacci x (List.append (List.head list + (List.head (List.tail list))) list)

let x = 10
let list = [1;2]
let fibonacciList = fibonacci x list
printf "%A" fibonacciList

它说编辑器在倒数第二行的函数调用中。
我是F#的新手，我确定这是一个基本的定义错误，但我无法弄清楚它是什么

Answer 1

当您删除对fibonacci函数的调用时，编译器实际上揭示了真正的错误：error FS0071: Type constraint mismatch when applying the default type ''a list' for a type inference variable. The types ''a' and ''a list' cannot be unified. Consider adding further type constraints

这很难理解，但基本上实现有问题。我认为问题是你对List.append的使用.它应该需要两个列表，但您为其提供int和int list。您可以使用::运算符将一项添加到列表的前面：

let rec fibonacci x list =
if List.head list > x then List.tail list
else fibonacci x ((List.head list + (List.head (List.tail list))) :: list)

下面是使用模式匹配来简化代码的等效实现：

let rec fibonacci x list =
match list with
| a :: b :: rest ->
if a > x then b :: rest
else fibonacci x (a + b :: list)

请注意，编译器警告匹配大小写不完整。如果列表少于 2 个项目，此函数将引发异常。

另请注意，这不能正常工作：它不会产生斐波那契数列。我会把它留给你来解决这个问题。