F#中编译器是否允许这样做？

F#编译器不允许在类型定义中定义嵌套类型，但是可以通过在定义类型的外部定义它们来模拟这种行为。

例如，如果要定义一个包含一个嵌套类型的类型，可以将嵌套类型定义为外部类型的一个属性或函数返回类型。以下代码演示了如何实现这一点。

type OuterType =
    val value: int
    member this.NestedType = 
        // Nested type is defined as a function return type
        let nestedValue = 1
        { new NestedType with
            member this.NestedValue = nestedValue }
    
and NestedType = 
    abstract member NestedValue: int

let outer = { value = 42 }
let nested = outer.NestedType
let nestedValue = nested.NestedValue

在这个示例中，定义了一个 OuterType，其中定义了一个名为 NestedType 的嵌套类型。嵌套类型定义为 OuterType 的一个属性，并使用一个返回 NestedType 实例的函数来实现。

然后，定义了一个名为 NestedType 的接口，该接口声明了一个 NestedValue 成员。

最后，我们可以创建一个 OuterType 实例并访问其 NestedType 属性，该属性返回一个实现 NestedType 接口的对象。我们可以使用该对象的 NestedValue 成员来访问嵌套类型的属性。