如何使用无Option.flatten？

Question

在选项模块上应用平面函数时出错：

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

这只适用于输入，比如:一些大约1。但是如果输入是"None“，那么我会得到以下错误：

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.

在没有仿制药的情况下，扁平化应该如何使用？

Answer 1

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

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