ユニオンタイプと同じ名前の新しいオブジェクトを作成

Question

私はPersonのインスタンスを作成します。 PersonはAnimalの一種です。私がPersonを作成しようとすると、IDEは "この式はPerson '型を持つと予想されていましたが、ここには' Animal 'という型があります。

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

type Animal = 
| Person of Person 
| Cat 
| Dog 

let person: Person = Person(name = "John") 

Answer 1

問題はPersonタイプと差別された組合の場合の両方を意味することです。

それは最後の1に解決されますので、あなたが定義を反転することができます

type Animal = 
    | Person of Person 
    | Cat 
    | Dog 
and 
    Person (name) = 
     member this.Name: string = name 

let person: Person = Person(name = "John") 

// then to create an animal 
let animal = Animal.Person (Person(name = "John")) 

代替ソリューションは@MarcinJuraszekコメントで提案されているか、DUの場合に別の名前を考慮し、ようnewキーワードを使用しますタイプ。

Answer 2

F＃の名前は、型と値へのバインディングとして機能し、いつでも名前が「ポイントしている」ものを再定義することができます。例えば。

// lets define type A 
type A(name) = member this.Name : string = name 
let x = A("test") 

// lets "bind" the type name 'A' to a new type 
type A(number) = member this.Number : int = number 
let y = A(10) 

printfn "type name of x: %s" (x.GetType().Name) // prints 'type name of x: A' 
printfn "type name of y: %s" (y.GetType().Name) // prints 'type name of y: A' 

のでxとyA名前付きの型の両方のですが、同じではありません。同じロジックがPersonとAnimal.Personに適用され、定義した順序によっては、最後に定義されたものはPersonと入力したときに参照されるものになります。

前述のとおり、新規または定義済みの注文を使用して両方にアクセスできます。 PersonクラスをAnimalとは別のモジュールに配置することもできます。

module Inner = 
    type Person(name) ... 

このようにして、モジュール名の前にタイプすることでアクセスできます。