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

它包含在 MSDN on F# Types

在“泛型类型”下:

类型参数泛型类型名称| 'a list

或者

list<'a>

以及“构造类型”:

类型参数泛型类型名称

或

泛型类型名称<类型参数列表>

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;}

首先,需要注意的是 list 和 List 与前缀和后缀语法没有直接关系。类型 'T list 只是类型的别名 List<'T> . 从 F# core source code

type List<'T> = 
   | ([])  :                  'T list
   | (::)  : Head: 'T * Tail: 'T list -> 'T list
   interface System.Collections.Generic.IEnumerable<'T>
   interface System.Collections.IEnumerable
   interface System.Collections.Generic.IReadOnlyCollection<'T>
   interface System.Collections.Generic.IReadOnlyList<'T>

and 'T list = List<'T>

除此之外,我们还可以表示任何泛型类型前缀或后缀。

结合这两种情况,这意味着所有这些类型都是有效的和等价的。

int list
int List
list<int>
List<int>

这适用于任何其他.NET类型,例如。 int System.Collections.Generic.HashSet ,以及您自己的类型:

type MyCoolType<'a> = A | B

let x : int MyCoolType = A
// compiles ✔