類型推斷和新的 - 我可能只是愚蠢

Question

使用F＃2.0 FSI我有以下幾點：

let foo = List(xs)//works 
let bar = new List(xs) //need type parameter 'The type System.Collectsion.Generic<_> expects 1 type argument 0 was given 

現在我當然可以這樣做：

let baz = new List<TypeOItemsInXs>(xs)//why? 

現在是有什麼我合理可以做到嗎？ 爲什麼我必須在工作類型推理或警告免費代碼之間進行選擇（如果'List'是一次性的，您會得到一個警告，您應該使用'new'來明確它）。

任何解決方法？這是一個錯誤還是什麼？

Answer 1

，您仍然可以使用類型推斷使用通配符_：

open System.Collections.Generic 
let xs = [1;2;3] 

let bar = new List<_>(xs) 

BTW，區分F＃列表和.NET List<T>容器，F＃已經改名爲.NET List<T>到ResizeArray<T>，這是Microsoft.FSharp.Collections，這命名空間默認打開：

let bar2 = new ResizeArray<_>(xs) 

Answer 2

尹竺的回答是對的，我想補充一個細節。在F＃中，您可以調用帶有或不帶有new關鍵字的.NET構造函數。如果省略了new，則不需要添加通用參數，但如果使用new，則必須添加通用參數，即使您讓類型推斷使用通配符_來完成工作。

因此，你可以說：

> ResizeArray([1; 2; 3;]);; 
val it : System.Collections.Generic.List<int> = seq [1; 2; 3] 

或

> new ResizeArray<_>([1; 2; 3;]);; 
val it : ResizeArray<int> = seq [1; 2; 3] 

但不是：

> new ResizeArray([1; 2; 3;]);; 

    new ResizeArray([1; 2; 3;]);; 
    ----^^^^^^^^^^^ 

C:\Temp\stdin(5,5): error FS0033: The type 'Microsoft.FSharp.Collections.ResizeArray<_>' expects 1 type argument(s) but is given 0