在OCaml中，类型变量被写为'a或'b等：
而不是选择单一的具体类型，OCaml引入了一个类型变量
'a来表示该类型是通用的。 （您可以通过前导单引号来判断它是一个类型变量。）（Source）
我将非常感谢有关如何发音这些类型变量的指导，理想情况下是引用官方文档或由该语言的创建者录制的谈话。
到目前为止，我发现的最接近的是this第三方建议，这远非明确：
我将这些发音为最接近的希腊字母，例如
'a为 alpha ，'b为 beta 等;我不知道这在OCaml社区中有多常见，但它在关于函数式编程的书籍和论文中很常见。
答案 0 :(得分：5)
将它们称为希腊字母非常常见，至少来自学术界人士。但是，将它们作为普通字母发音，忽略'，也很好。很少使用具有较长名称的类型变量。如果它们出现，您也可以将它们发音为。
答案 1 :(得分：0)
我没有任何官员。
我在发音时通常会忽略引号。
我将这些发音为最接近的希腊字母，例如
'a为alpha，'b为beta等;我不知道这在OCaml社区中有多常见，但它在关于函数式编程的书籍和论文中很常见。
只有将自己限制为单字母类型变量时，这种方法才有效。与其他变量一样，有时我更喜欢描述性名称而不是像
type ('key,'elem) map
如果您希望通过所述书籍和论文实施某些内容并希望真实接近原始内容，您仍然可以使用'alpha，'beta等。< / p>