我可以为自己的类型使用特殊的通用语法吗？

Question

在F#中,某些类型具有特殊的通用语法(我不确定它的名称),因此您可以执行以下操作:

int list // instead of List<int>
int option // instead of Option<int>

• 这个语法叫什么？
• 我可以为自己的类型启用它吗？

Answer 1

它包含在F#类型的MSDN中

在"通用类型"下:

通用类型

type-parameter generic-type-name | 'a list

要么

generic-type-name <type-parameter-list> | list<'a>

和"构造类型":

构造类型(提供特定类型参数的泛型类型)

type-argument generic-type-name

要么

通用类型名称<类型参数列表>

type dave<'a> = {
    V : 'a
};;

let stringDave: dave<string> = { V = "string" };;
//val stringDave : dave<string> = {V = "string";}

let intDave : int dave = { V = 123 };;
//val intDave : dave<int> = {V = 123;}