如何支持名義類型語言的結構類型？

Question

在F#, Nominative or Structural?，答案說我可以欺騙F＃通過一些奇特的機制像結構類型語言一樣工作。我該怎麼做？

Answer 1

以前的答案提到的「異國機制」可能是statically resolved type parameters。這使您可以編寫具有某個特定成員的任何類型的對象的函數。例如，你可以寫sayHello功能，將與具有string型Name成員的任何對象工作：

let inline sayHello (any : ^T) = 
    let name = (^T : (member Name : string) any) 
    printfn "Hello %s" name 

這現在將兩種類型的名義上不相關的工作：

type Person(name:string) = 
    member x.Name = name 

type Animal(name:string) = 
    member x.Name = name 

sayHello (Person("Tomas")) 
sayHello (Animal("Bunny")) 

那說，F＃主要是一種名義上的類型化語言，所以依靠靜態成員約束太多將是unidiomatic。它會讓你的代碼看起來很糟糕，你可能會遇到機制的限制。這對於一些有限的用例是一個很好的功能，但它不是F＃中的主要抽象機制。