Question

我正在学习F＃，我正在试图解释为什么当我用正确的类型覆盖推断类型时，它推断出List.Filter的不同类型。代码胜过千言万语：

type Account = 
{ account : int
  label : string }

type Journal = 
{ account : int
  period : string
  debit : int
  credit : int }

let outputJournal (journals: Journal List) (account:Account) =
    let filtered = List.filter (fun x -> x.account = account.account) journals
    filtered

我需要根据指定的帐户过滤日记帐列表。但是，outputJournal函数在传递给journals的{{1}}参数下输出错误。错误如下：“类型不匹配。期待'帐户列表'但给出'列表日记'。类型'帐户'与类型'日记'不匹配。”

我很困惑为什么会这样，因为我（或者我认为）清楚地试图过滤一份期刊清单。有没有办法可以覆盖类型推断来做我的意思或者让编译器更清楚地表达我的意图（在任一记录中重命名帐户字段是一种选择，但我想避免它）？

非常感谢。谢谢。

Answer 1

F＃中的类型推断从上到下，从左到右严格地进行。

因此，当您执行x.account时，编译器会猜到x是Account，因此您会收到错误消息。

要解决此问题，您可以做两件事

1）注释x的类型

let filtered = List.filter (fun (x:Journal) -> x.account = account.account) journals

2）使用管道操作员更改订单（感谢Fyodor）

let filtered = journals |> List.filter (fun x -> x.account = account.account)

由于类型推断的工作方式，（2）更常见

带记录的F＃类型推理奇数行为

1 个答案: