使用-hy进行GHC堆分析 - 什么是*（星号）？

Question

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

./prog +RTS -hy

我经常在结果中看到构造函数* ，以及[]和Word8等其他构造Word8 。

在这种情况下，类型*是什么？ 它与kinds有关吗？

Answer 1

引自Real World Haskell ：

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

在GHC用户指南中 ：

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

因此，它基本上意味着分析没有足够的信息来告诉它是什么类型。