为什么不能为嵌套函数推断类型

Question

我不了解嵌套函数的 F# 类型推理系统。当我使用 int、string、...等简单类型之外的类型时，它似乎特别糟糕。

这里是一些打印一些反射信息的代码的小例子

let inferenceTest () =
    let t = int.GetType()
    let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)
    printfn "%s" <| String.concat ", " methods

这很好用！不需要铸造等。现在假设打印涉及更多，因此我们想将它分成一个嵌套函数

let inferenceTestFailsToCompile () =
    let printType t =
        let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)
        printfn "%s" <| String.concat ", " methods

    let t = int.GetType()
    printType t    

这失败了，“根据该程序点之前的信息查找不确定类型的对象。可能需要类型注释...”

为什么类型系统的信息突然变少了？如果我的printType() 函数与我的inferenceTestFailsToCompile() 处于同一范围内，也许我可以理解这个问题

当我创建一个以 t 作为闭包的 lambda 时，打字问题就消失了

let inferenceTestLambda () =
    let t = int.GetType()
    let printType =
        let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)
        printfn "%s" <| String.concat ", " methods
    printType

Answer 1

基本上类型推断是从上到下从左到右进行的。有很多例外，我就不一一赘述了。

在第一个示例中，推理引擎有足够的信息来正确推断类型。

let inferenceTest () =
    let t = int.GetType()
    let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)
    printfn "%s" <| String.concat ", " methods

变成了

let inferenceTest () =
    let (t : type) = int.GetType()
    let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)
    printfn "%s" <| String.concat ", " methods

成为

let inferenceTest () =
    let (t : type) = int.GetType()
    let methods = (t.GetMethods() : System.Reflection.MethodInfo []) |> Seq.map(fun m -> m.Name)
    printfn "%s" <| String.concat ", " methods

成为

let inferenceTest () =
    let (t : type) = int.GetType()
    let (methods : seq<string>) = (t.GetMethods() : System.Reflection.MethodInfo []) |> Seq.map(fun m -> m.Name)
    printfn "%s" <| String.concat ", " methods

这得益于 |> 的使用 失败了

let methods = Seq.map (fun m -> m.Name) (t.GetMethods())

在第二个例子中，这条线被推断为。

let printType (t : 'a) () = 

导致错误的原因

let methods = t.GetMethods() |> Seq.map(fun m -> m.Name)

因为t 的类型是通用的并且没有提供足够的信息用于t.GetMethods()。

为了解决这些问题，我使用 Visual Studio 并将鼠标移到变量上以查看类型。然后，如果我发现一个不正确的类型，我开始添加类型定义。这通常会导致修复错误或发现我的代码中的错误。

编辑：

这是Why is F#'s type inference so fickle?Robert Harvey 的回答的一部分

F# 使用一次编译，因此您只能引用类型或 在您之前的文件中定义的函数 当前在或出现在前面指定的文件中 编译顺序。

我最近向 Don Syme 询问了有关将多个源代码传递给 改进类型推断过程。他的回复是

"是的，可以进行多遍类型推断。还有 生成一组有限约束的单程变化。

然而，这些方法往往会给出糟糕的错误信息，而且效果不佳 智能感知生成可视化编辑器。”