F＃類型的功能和[<GeneralizableValue>]屬性

Question

是什麼這2層F＃類型的功能之間的差異：

let defaultInstance1<'a when 'a:(new: unit->'a)> = new 'a() 

[<GeneralizableValue>] 
let defaultInstance2<'a when 'a:(new: unit->'a)> = new 'a() 

Answer 1

let defaultInstance1<'a when 'a:(new: unit->'a)> = new 'a() 

[<GeneralizableValue>] 
let defaultInstance2<'a when 'a:(new: unit->'a)> = new 'a() 

let x1 = defaultInstance1 // value restriction 
let x2 = defaultInstance2 

Answer 2

這裏是一個很好博客：

http://blogs.msdn.com/b/mulambda/archive/2010/05/01/value-restriction-in-f.aspx

它需要一個一點點閱讀去GeneralizableValue部分，但如果你到達那裏，我想你會理解它。 :)