F # and attribute [<GeneralizableValue>]

Question

What is the difference between these two functions like 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

Here is a good blog:

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

It takes a little reading to get to the part of GeneralizableValue , but if you get there I think you will understand that. :)