抽象類型定義中的「+」是什麼意思？

我看到一個聲明似乎是一個抽象類，看起來像：抽象類型定義中的「+」是什麼意思？

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

抽象類型定義中的「+」是什麼意思？

回答

相關問題