类型失配Seq.unfold

Question

let fibgen (x,y) = if(x < 4000000) then Some(x+y, (y, x+y)) else None

let fibseq = Seq.unfold fibgen (1,1)

类型错配错误在第二行。我做错了什么？我正在使用F# 2.0

回答

第一次在我的交互窗口上完成重置会话仍然是相同的错误

然后重新开始我的项目现在运转良好。

是的，我在同一个会话中执行了下面的代码

// The option type is a discriminated union.
type Option<'a> =
    | Some of 'a
    | None




Interactive window Output as below

val fibgen : int * int -> Option<int * (int * int)>

> 


Eluer2.fs(27,25): error FS0001: Type mismatch. Expecting a
    int * int -> ('a * (int * int)) option    
but given a
    int * int -> Option<int * (int * int)>    
The type '('a * (int * int)) option' does not match the type 'Option<int * (int * int)>'
> 

Answer 1

正如Carsten在评论中指出的那样，如果您在干净的F#互动中输入代码，那么代码工作得很好。由于编译器抱怨Option<'T>与'T option不匹配，我想您在使用unfold函数之前意外地编写了一些重新定义Some和None的代码。也许您编写了类似这样的东西(并在F#互动中对其进行了评估)：

type Option<'T> = 
  | None
  | Some of 'T

这隐藏了Some和None的标准定义，它们是标准F#库中定义的'T option类型的构造函数(并且是unfold函数所期望的)。

您可以通过右键单击窗口并选择“重置会话”来重置F#交互会话。这将删除以前的声明，代码应该可以正常工作。