在 f# 中使用自定义函数相交

Question

我有两个列表。第一个是具有 Id 属性的结构化记录列表，其中 Id 是字符串包装器。第二个是一个简单的字符串列表。

我需要在第一个列表中找到其 ID 在第二个集合中表示的所有记录。

在 c# 中这将是微不足道的：

var intersect = list1.Where(x => list2.Contains(x.Id.ToString()))

也许有更有效的方法来获得交集，但 c# 与 linq 可以很容易地获得所需的输出。

我对 f# 还很陌生，但这似乎是 f# 中的一个重要操作。 f# 中的 Linq 不支持 lambda 比较器功能（据我所知），并且内置的过滤器功能似乎依赖于两个列表中实体之间的直接比较（指定自定义比较器并不容易）。

我尝试了以下方法：

list1 |> List.filter(fun x -> List.contains (x.Id.ToString() list2))

...但这会产生以下编译器错误：

This expression was expected to have type
    'bool'    
but here has type
    ''a list -> bool'

我真的希望有人会告诉我我很笨，并且在 f# 中有一个非常简单的方法可以做到这一点......拜托！

回答

事实证明我搞砸了我的语法。我认为需要下面的括号来强制 x.Id.ToString() 首先被评估，但 List.contains 参数周围的括号不是必需的

list1 |> List.filter(fun x -> List.contains (x.Id.ToString()) list2)

Answer 1

在 F# 中，函数参数由 空格 分隔，而不是逗号，并且每个参数周围的括号是可选的。整个参数列表周围没有括号 - 这表示一个元组。

你写过：

list1 |> List.filter(fun x -> List.contains (x.Id.ToString(), list2))

但你可能是这个意思：

list1 |> List.filter (fun x -> List.contains (x.Id.ToString()) list2)

---

完整示例（放入.fsx 文件）：

type Foo =
  {
    Id : string
  }

let list1 =
  [
    { Id = "a" }
    { Id = "b" }
    { Id = "x" }
  ]

let list2 =
  [
    "a"
    "b"
    "c"
  ]

let list3 =
  list1 |> List.filter (fun x -> List.contains (x.Id.ToString()) list2)

printfn "%A" list3

// [{ Id = "a" }; { Id = "b" }]