歧视的工会不推断（和创造）这种类型是什么意思？

Question

我有2种类型的动物：

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

type Cat(age) = 
    member this.Age: int = age 

的我 “加入” 的类型：

type Animal = 
| Person of Person 
| Cat of Cat 
| Dog 

当我尝试创建一个Person实例：

let person = new Person("Alex") 

我得到的错误：

Union case Animal.Person: Person -> Animal

The type 'string' is not compatible with the type 'Person'

问：

人是类与构造，

类型Animal.Person应该是人的实例。所以有什么问题？

编辑： 的Visual Studio for Windows不显示错误，但如果你添加更多的源代码，你得到错误 “ '人' 不匹配类型 '动物'”：

[<EntryPoint>] 
let main argv = 
    let person = new Person("Alex") 

    person 
    |> KnowAnimal 
    |> printfn "%O" 

Answer 1

The type Animal.Person should be an instance of Person. So, what's the problem?

首先Animal.Person不是一种类型，Person是一种类型，Animal是一种类型。 Animal.Person是以Person作为参数的Animal类型的一种情况。也就是说，它作为Person -> Animal类型的函数，因此它取值为Person，并返回Animal类型的值。这两种类型之间没有子类型关系。

所以person是类型的值Person和Person person是Animal类型的值，因为Person需要Person并返回一个Animal。