可以使用GADT表示现有的量化类型。
我看到GADT更通用-data -type-extensions,第7.4.7节
什么时候最好使用现有量化类型,然后使用GADT?与现有量化类型相比,使用GADT有什么缺点吗?
GADT出现的时间比存在的时间晚,并且将其概括。我没有发现任何缺点,因此会在新代码中始终使用GADT语法,因为它更加清晰。
该文档确认了这一点:
请注意,GADT样式的语法概括了存在性类型。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
点击生成二维码
我来说两句