在OCaml中,类型变量写为'a或'b等:
OCaml不是选择单一的具体类型,而是引入了一个类型变量
'a来表示该类型是通用的.(你可以用领先的单引号来告诉它是一个类型变量.)(来源)
我将非常感谢有关如何发音这些类型变量的指导,理想情况是引用官方文档或语言创建者的录音讲座.
到目前为止,我已经找到了最接近的是这个第三方的建议,这还远不是确定性:
我宣布这是最近的希腊字母,例如
'a如阿尔法,'b作为测试等; 我不知道这在OCaml社区中有多常见,但它在关于函数式编程的书籍和论文中很常见.