F# 類型函數和一個 [<GeneralizableValue> ] 屬性

Question

這兩個 F# 類型的函數有什么區別：

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

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

Answer 1

這是一個很好的博客：

http://blogs.msdn.com/b/mulambda/archive/2010/05/01/value-restriction-in-f.aspx （存檔在這里）。

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

Answer 2

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