4
是什么这2层F#类型的功能之间的差异:F#类型的功能和[<GeneralizableValue>]属性
let defaultInstance1<'a when 'a:(new: unit->'a)> = new 'a()
[<GeneralizableValue>]
let defaultInstance2<'a when 'a:(new: unit->'a)> = new 'a()
是什么这2层F#类型的功能之间的差异:F#类型的功能和[<GeneralizableValue>]属性
let defaultInstance1<'a when 'a:(new: unit->'a)> = new 'a()
[<GeneralizableValue>]
let defaultInstance2<'a when 'a:(new: unit->'a)> = new 'a()
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
这里是一个很好博客:
http://blogs.msdn.com/b/mulambda/archive/2010/05/01/value-restriction-in-f.aspx
它需要一个一点点阅读去GeneralizableValue
部分,但如果你到达那里,我想你会理解它。 :)