当我使用-hy标志来分析程序的堆使用情况时

./prog +RTS -hy


我经常在结果中看到构造函数*以及其他构造函数,例如[]Word8

在这种情况下,*是什么类型?与kinds有关吗?

最佳答案

引自Real World Haskell


还有一些堆分配的未知类型的数据(表示为“ *”类型的数据)。


GHC User's Guide中:


对于具有函数类型或未知/多态类型的闭包,字符串将表示实际类型的近似值。


因此,这基本上意味着配置文件没有足够的信息来说明它是什么类型。

10-04 12:13