haskell – GADT与存在量化类型(* forall *)

可以使用GADT来表达存在量化类型.

我看到GADT更通用 – data-type-extensions,第7.4.7节

当使用存在量化类型然后GADT更好?与存在量化类型相比,使用GADT有任何缺点吗?

最佳答案
GADT出现的时间晚于存在时间,并将它们概括为一般.我不知道任何缺点,并且总是在新代码中使用GADT语法,因为它更清晰.

documentation证实了这一点:

Notice that GADT-style syntax generalises existential types.

转载注明原文:haskell – GADT与存在量化类型(* forall *) - 代码日志