相关疑难解决方法(0)

OCaml编译器有一个"-principal"选项,邮件列表中有时会提到术语"主体类型".究竟是什么意思？维基百科中的定义是递归的,因为它假设读者已经熟悉这个概念.