Rob*_*mba 8 haskell types existential-type gadt
可以使用GADT来表达存在量化类型.
我看到GADT更通用 - 数据类型扩展,第7.4.7节
当使用存在量化类型然后GADT更好？与存在量化类型相比,使用GADT有任何缺点吗？
GS *_*ica 11
GADT出现的时间晚于存在时,他们将它们概括为一般.我不知道任何缺点,并且总是在新代码中使用GADT语法,因为它更清晰.
该文件证实了这一点:
请注意,GADT样式的语法概括了存在类型.
归档时间：
11 年，6 月 前
查看次数：
791 次
最近记录：