使用另一個列表過濾列表？

Question

我有

type Item1 = { Id: int; .... } 
type Item2 = { Id: int; .... } 
let list1: Item1 list = .... 
let list2: Item2 list = .... 

我需要過濾list1這Id存在list2兩個列表。以下代碼不起作用。

list1 |> Seq.filter (fun l1 -> (List.exists (fun l2 -> l1.Id = l2.Id) list2)) 

它期望list2的類型爲Item1 list。但是，下面的代碼工作。

list1 |> Seq.filter (fun l1 -> (list2 |> List.exists (fun l2 -> l1.Id = l2.Id))) 

爲什麼？他們不只是兩種不同的方式來編寫具有相同功能的代碼嗎？

Answer 1

F＃類型推斷嚴格從左到右。其結果是，在該部分

list1 |> Seq.filter (fun l1 -> (List.exists (fun l2 -> l1.Id = l2.Id) list2)) 

的l2類型是未知的。結果你會得到一個（稍微奇怪的）錯誤信息。

在第二種情況下，您有list2 |> ...，這意味着在進行比較時已知l2的類型，所以一切正常。