Types 哈斯凯尔之外还有GADT理论吗？
ADT可以很容易地通过模型理论解释为代数理论的模型。但是GADT让我困惑，它仍然是一个代数理论的模型，还是一个几何理论的模型，或者是从类型理论p.o.v.对什么是GADT有一个合适的类型理论描述Types 哈斯凯尔之外还有GADT理论吗？,types,theory,gadt,Types,Theory,Gadt,ADT可以很容易地通过模型理论解释为代数理论的模型。但是GADT让我困惑，它仍然是一个代数理论的模型，还是一个几何理论的模型，或者是从类型理论p.o.v.对什么是GADT有一个合适的类型理论描述