为什么 F# 的类型推断不能处理这个？

Question

我有一个 FileInfo 序列，但我只关心它们的字符串名称，所以我想要一个字符串序列。起初我尝试过这样的事情：

Seq.map (fun fi -> fi.Name) fis

但由于某种原因，F# 的类型推断不足以实现这一点，并让我明确地给“fi”一个类型：

Seq.map (fun (fi : FileInfo) -> fi.Name) fis

为什么需要这个注解？如果知道fis : seq<FileInfo>和Seq.map : ('a -> 'b) -> seq<'a> -> seq<'b>，那么是不是应该推断lambda表达式的类型是FileInfo -> 'b，然后从fi.Name : string进一步推断它的类型是FileInfo -> string？

Answer 1

类型推断从左到右进行。这是管道操作符有用的地方；如果你已经知道'fis'的类型，那么写成

fis |> Seq.map (fun fi -> fi.Name)

推理对你有用。

（一般来说，形式的表达式

o.Property
o.Method args

要求知道'o'的类型先验；对于大多数其他表达式，当没有固定类型时，推理系统可以“浮动约束”，稍后可以解决，但对于这些情况，没有“所有类型具有名为 P 的属性”形式的约束或'所有具有名为 M 的方法的类型'（如鸭子类型），可以推迟并在以后解决。所以你现在需要这些信息，否则推理会立即失败。）

另请参阅overview of type inference in F#。