F# Option.flatten 错误，无

Question

在Option模块上应用flatten函数时出错：

let flatten  =
function
| None          -> None
| Some innerOpt -> innerOpt

这仅适用于以下输入：Some Some 1。 但如果输入是“无”，那么我会收到此错误：

flatten None 

error FS0030: Value restriction. The value 'it' has been inferred to have generic type
    val it : '_a option
Either define 'it' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.

在 None 情况下，flatten 应该如何与泛型一起使用？

Answer 1

flatten 是一个泛型函数，类型为'a option option -> 'a option。当参数为 None 时，编译器无法推断用于自动 REPL 变量 it（这是前一个表达式的结果）的类型参数。您可以指定自己的变量：

let it : int option = flatten None;;

明确指定None的类型：

flatten (None : int option option);;

或

flatten (Option<int option>.None);;

或将泛型参数显式指定为flatten：

flatten<int> None;;

这会生成一个警告，您可以通过将类型参数设置为 flatten 显式来删除它：

let flatten<'a> (o : 'a option option) =
    match o with
    | None          -> None
    | Some innerOpt -> innerOpt