抽象类型定义中的“+”是什么意思？

我看到一个声明似乎是一个抽象类，看起来像：抽象类型定义中的“+”是什么意思？

type +'a io

什么是“+”表示有？

来源

2014-09-05 aneccodeal

它说类型具有关于参数类型的协变亚类型。因此，如果T是U的子类型，那么T io是U io的子类型。

来源

2014-09-05 23:31:48

具体来说，有什么含义？为什么会（或者应该）用'+'来声明而不是：键入'a io？ – aneccodeal 2014-09-05 23:33:45

无法推断co// contr-variance，因此您必须声明它。首先声明它的原因很微妙，在这里用@gasche解释：http://stackoverflow.com/questions/15561714/when-does-the-relaxed-value-restriction-kick-in-in- ocaml的/ 15562110＃15562110 – 2014-09-05 23:36:24

抽象类型定义中的“+”是什么意思？

回答

相关问题