如何在类型参数中使用区分联合分支？

Question

假设我在F#中有这样的类型:

type public Expression =
    | Identifier of string
    | BooleanConstant of bool
    | StringConstant of string
    | IntegerConstant of int
    | Vector of Expression list
    // etc...

现在我想使用这种类型来构建一个地图:

definitions : Map<Identifier, Expression>

但是,这会给出错误:

未定义类型"标识符"

如何将我的类型案例用作类型参数？

Answer 1

Identifier是一个案例构造函数,而不是一个类型.它实际上是一个类型的函数string -> Expression.案例的类型是string,所以你可以定义definitions为

type definitions : Map<string, Expression>