F# 类型推断遗漏给定信息

Question

如果我声明这个 F# 函数:

let extractColumn col (grid : List<Map<string, string>>) =
    List.map (fun row -> row.[col]) grid

编译器提示:

error FS0752: The operator 'expr.[idx]' has been used on an object of indeterminate type based on information prior to this program point. Consider adding further type constraints

为 lambda 的 row 参数添加类型注释修复它:

let extractColumn col (grid : List<Map<string, string>>) =
    List.map (fun (row : Map<string, string>) -> row.[col]) grid

为什么它不能从 extractColumn 函数的 grid 参数中获取 row 的类型？

Answer 1

F# 的类型推断是从左到右、从上到下进行的。

grid 类型在 List.map (fun row -> row.[col]) 部分不可用。

使用管道运算符|>:

let extractColumn col (grid : Map<string, string> list) =
    grid |> List.map (fun row -> row.[col])

使您的示例按预期工作。